- Current Graduate Students
- Current Undergraduate Students
- James Conley
- Samantha Espinosa
- Martim Gaspar
- Jondash Karamavruc
- Divya Mankani
- Sanjay Ravindran
- Jayden Rogers
- Trisha Samavedam
- Xiao Tan
- Former Students
- Cade Chabra, B.S. 2023
- Alyssa Lytle,
Ph.D. 2023. Using Formal Frameworks to Reduce Mode Confusion in Human-in-the-Loop Systems
- Moshe Ikechukwu, B.S. 2022
- Matthew Gregoire, M.S. 2022
- 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