- Current Graduate Students
- Current Undergraduate Students
- Former Students
- Calvin Deutschbein, Ph.D. 2021. Mining Secure Behavior of Hardware Designs
- Martin Meng, B.S. 2021. Yippelia: Triggering Deep Property Violations in
Hardware Designs through Symbolic Execution
- Rui Zhang, Ph.D. 2020. Towards
Automated Security Validation for Hardware Designs
- Yufeng Gong, M.S. 2020. Finding Security Critical Hyperproperties of A Processor Design
- Abhishek Singh, M.S. 2019
- Michael Brown, M.S. 2017. Cross-Validating Processor Specifications
- Chris Griggs, M.S. 2017. Finding Specification-Level Vulnerabilities for x86
- Kevin Jang, B.S. 2016
- Sarah J. Andrabi, M.S. 2015. Usability of Augmented Reality for Revealing Secret Messages to Users but Not Their Devices
- Chris Bradfield, B.S. 2015