Work

Formal verification of a software countermeasure against instruction skip attacks

Year: 2013

Type: conference-paper

Source: HAL

Authors: Karine Heydemann, Nicolas Moro, Emmanuelle Encrenaz, Bruno Robisson

Institutions: Commissariat à l'Énergie Atomique et aux Énergies Alternatives, CEA Grenoble, Laboratoire d'Électronique des Technologies de l'Information

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3215178382

FWCI: 1.161

Cites: 21

Cited by: 13

Related to: 10