Naorin Hossain
Naorin Hossain
Home
Projects
Publications
Talks
Experience
Contact
CV
Security Verification of Virtual Memory Implementations with CheckMate
Naorin Hossain
,
Caroline Trippel
PDF
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.
Cite
×