• HOME
  • RESEARCH
  • STUDENTS
  • COURSES
  • HIRING!

  • Current Graduate Students
    • Kaki Ryan
    • Ayesha Siddika
    • Niyaz Shakeel
  • 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