End-to-End Automated Exploit Generation for Processor Security Validation

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