Daniel Lustig

1. MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols
   2018/02/11 by Caroline Trippel, Daniel Lustig, Trippel, Caroline +3 · 8 voices · 5 citations
   Computer Science · Engineering · #Security and Verification in Computing #Radiation Effects in Electronics #Semiconductor materials and devices
2. TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA
   2016/08/26 by Caroline Trippel, Yatin A. Manerkar, Daniel Lustig +2 · 1 voice
   #cs.AR