- Graduate Students
- Mason Boyles
- Jacob Brown
- Param Chaudhari
- Niyaz Shakeel
- James Wong
- Undergraduate Students
- Saanvi Arora
- Kate Bailey
- Samantha Espinosa
- Jondash Karamavruc
- Divya Mankani
- William Millen
- Samya Potlapally
- Trisha Samavedam
- Xiao Tan
- Researchers
- Jondash Karamavruc
- Sanjay Ravindran
- Former Students
- Kaki Ryan, Ph.D. 2025 Scaling Symbolic Execution for Efficient Security Verification of Hardware
- Jayden Rogers, B.S. NCA&T 2025
- James Conley, B.A. 2025
- Martim Gaspar, B.S. 2025
- Ayesha Siddika, M.S. 2025.
- 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