• HOME
  • PUBLICATIONS
  • STUDENTS
  • COURSES
  • NEWS

  • Current Graduate Students
    • Alyssa Byrnes
    • Kaki Ryan
    • Matthew Gregoire
  • Current Undergraduate Students
    • Moshe Ikechukwu
  • 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