Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach | IEEE Journals & Magazine | IEEE Xplore