Work

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

Year: 2021

Type: article

Abstract: 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

Source: IEEE Design and Test

DOI: 10.1109/mdat.2021.3063314

Authors: Rui Zhang, Calvin Deutschbein, Peng Huang, Cynthia Sturton

Institutions: University of North Carolina at Chapel Hill, Johns Hopkins University

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: National Science Foundation, Google, Directorate for Computer and Information Science and Engineering

Awards: SaTC: STARSS: Small: Tackling the Corner Cases: Finding Security Vulnerabilities in CPU Designs, EAGER: Identifying Security Critical Properties of a Processor