Caroline Trippel, Daniel Lustig, Margaret Martonosi. Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach. IEEE Micro, 39(3):84-93, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.