CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests | IEEE Conference Publication | IEEE Xplore