2:04CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus TestsCaroline TrippelRecommended by 1 • 8 years ago