Publications

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.

Authors
Caroline Trippel (Princeton)
Margaret Martonosi (Princeton)
Publication Date
Research Area