Formal verification of a CRT-RSA implementation against fault attacks.

Maria Christofi Boutheina Chetali Louis Goubin David Vigilant

Published in: J. Cryptogr. Eng. (2013)

Keyphrases

formal verification
model checking
model checker
fault diagnosis
automated verification
artificial intelligence
bounded model checking
fault detection
watermarking algorithm
cryptographic algorithms
fault injection
program slicing