Checkmate: Automated Synthesis of Hardware Exploits and Security Litmus Tests

Name: Checkmate: Automated Synthesis of Hardware Exploits and Security Litmus Tests
Start: 2019-06-11T00:00:00Z
End: 2019-06-12T00:00:00Z
Location: Hillsboro, OR

Naorin Hossain, Caroline Trippel, Margaret Martonosi

PDF

Date

Jun 11, 2019 — Jun 12, 2019

Event

Intel Side Channel Academic Program Workshop 2019

Location

Hillsboro, OR

Naorin Hossain

Computer Science PhD Candidate

My research interests include hardware security and correctness verification for modern systems.