Browsing by Author Trippel, Caroline
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2018 | CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests | Trippel, Caroline; Lustig, Daniel; Martonosi, Margaret |
| 2020 | TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests | Hossain, Naorin; Trippel, Caroline; Martonosi, Margaret |