Browsing by Author Lustig, Daniel
Showing results 1 to 3 of 3
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2018 | CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests | Trippel, Caroline; Lustig, Daniel; Martonosi, Margaret |
| 2014 | PipeCheck: Specifying and Verifying Microarchitectural Enforcement of Memory Consistency Models | Lustig, Daniel; Pellauer, Michael; Martonosi, Margaret |
| 2018 | PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications | Manerkar, Yatin A; Lustig, Daniel; Martonosi, Margaret; Gupta, Aarti |