Multi-level formal verification - A new approach against fault injection attack.

Laurent Sauvage Tarik Graba Thibault Porteboeuf

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

Keyphrases

data sharing
fault injection
formal verification
model checking
java card
fault model
model checker
bounded model checking
symbolic model checking
countermeasures
automated verification
smart card
temporal logic
information systems
data flow
static analysis