End-to-End Automated Exploit Generation for Processor Security Validation
Rui Zhang, Calvin Deutschbein, Peng Huang, Cynthia Sturton · IEEE Design and Test · 2021
Editor's notes: This article presents an end-to-end tool that, starting from a processor and a set of security-critical invariants, automatically generates exploits to help designers find security threats. -Rosario Cammarota, Intel Labs -Francesco Regazzoni, University of Amsterdam and Universitàdella Svizzera Italiana