Multi-level formal verification

Sauvage, L; Graba, T; Porteboeuf, T

Sauvage, L (reprint author), Univ Paris Saclay, Telecom ParisTech, CNRS, LTCI, F-75013 Paris, France.; Sauvage, L (reprint author), Secure IC, 15 Rue Claude Chappe, F-35510 Cesson Sevigne, France.

JOURNAL OF CRYPTOGRAPHIC ENGINEERING, 2017; 7 (1): 87

Abstract

Fault injection attack is an extremely powerful technique to extract secrets from an embedded system. Since their introduction, a large number of coun......

Full Text Link