Work

Formal Verification for Secure Processors: A Guide for Computer Architects

Year: 2024

Type: article

Source: Computer

DOI: 10.1109/mc.2024.3434848

Authors: Mengjia Yan, Thomas Bourgeat, Sharad Malik

Institutions: Massachusetts Institute of Technology, École Polytechnique Fédérale de Lausanne, Princeton University

Language: English

Topic: Security and Verification in Computing

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4402742761

FWCI: 0.147

Cites: 17

Cited by: 1

Related to: 10