- Current Graduate Students
- Alyssa Byrnes
- Calvin Deutschbein
- Yufeng Gong
- Rui Zhang
- Current Undergraduate Students
- Martin Meng
- Former Students
- 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