Login / Signup
Formal Verification of Masked Hardware Implementations in the Presence of Glitches.
Roderick Bloem
Hannes Groß
Rinat Iusupov
Bettina Könighofer
Stefan Mangard
Johannes Winter
Published in:
IACR Cryptol. ePrint Arch. (2017)
Keyphrases
</>
formal verification
model checking
automated verification
model checker
bounded model checking
program slicing
coloured petri nets
symbolic model checking
data sets
neural network
information systems
formal specification