Skip to main content

Browsing by Author Lustig, Daniel

Showing results 1 to 3 of 3
Publication DateArticle TitleAuthor(s)
2018CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus TestsTrippel, Caroline; Lustig, Daniel; Martonosi, Margaret
2014PipeCheck: Specifying and Verifying Microarchitectural Enforcement of Memory Consistency ModelsLustig, Daniel; Pellauer, Michael; Martonosi, Margaret
2018PipeProof: Automated Memory Consistency Proofs for Microarchitectural SpecificationsManerkar, Yatin A; Lustig, Daniel; Martonosi, Margaret; Gupta, Aarti