Work

Toward Hardware Security Property Generation at Scale

Year: 2022

Type: article

Source: IEEE Security & Privacy

DOI: 10.1109/msec.2022.3155376

Authors: Calvin Deutschbein, Andres Meza, Francesco Restuccia, Matthew Gregoire, Ryan Kastner, Cynthia Sturton

Institutions: Willamette University, University of California San Diego, University of North Carolina at Chapel Hill

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Science Foundation, Semiconductor Research Corporation, Intel Corporation

Awards: SaTC: STARSS: Small: Tackling the Corner Cases: Finding Security Vulnerabilities in CPU Designs, SaTC: STARSS: Small: Property Driven Hardware Security

OpenAlex ID: W4226319081

FWCI: 1.911

Cites: 10

Cited by: 11

Related to: 10