Work

Formal verification of a software countermeasure against instruction skip attacks

Year: 2014

Type: article

Source: Journal of Cryptographic Engineering

DOI: 10.1007/s13389-014-0077-7

Authors: N. Moro, K. Heydemann, E. Encrenaz, B. Robisson

Institutions: Centre National de la Recherche Scientifique, Commissariat à l'Énergie Atomique et aux Énergies Alternatives, Sorbonne Université, LIP6, Université Pierre-et-Marie-Curie

Language: English

Topic: Cryptographic Implementations and Security

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2095785650

FWCI: 10.44

Cites: 26

Cited by: 111

Related to: 10