Security Verification of Virtual Memory Implementations with CheckMate
Date
Sep 29, 2020
Event
Intel Side Channel Academic Program Workshop 2020
Naorin Hossain
Computer Science PhD Candidate
My research interests include hardware security and correctness verification for modern systems.