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:
EUROCRYPT (2) (2018)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
information systems
program slicing
coloured petri nets
database
expert systems
functional verification