Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach
Caroline Trippel, Daniel Lustig, Margaret Martonosi · IEEE Micro · 2019
Many hardware security exploits result from the combination of well-known attack classes with newly exploited hardware features. CheckMate is an approach and automated tool for evaluating microarchitectural susceptibility to specified attack classes, and for synthesizing proof-of-concept exploit code for susceptible designs.