Checkmate: Automated Synthesis of Hardware Exploits and Security Litmus Tests


Date
Jun 11, 2019 — Jun 12, 2019
Location
Hillsboro, OR
Avatar
Naorin Hossain
Computer Science PhD Student

My research interests include the use of formal methods for computer security and exploit synthesis as well as correctness verification spanning both hardware and software.