Security Verification of Virtual Memory Implementations with CheckMate


Date
Sep 29, 2020
Event
Intel Side Channel Academic Program Workshop 2020
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.