Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach
Caroline Trippel, Daniel Lustig, Margaret Martonosi[doi] [Google Scholar] [DBLP] [Citeseer] [url]
[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Related Work
Interesting papers