CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests.

Caroline Trippel, Daniel Lustig, Margaret Martonosi

Browse the full MICRO paper archive.