Security Verification through Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach.

Publication image

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.


Caroline Trippel (Princeton)
Margaret Martonosi (Princeton)

Publication Date

Research Area