Card-Based Cryptography Meets Formal Verification.

Alexander Koch Michael Schrempp Michael Kirsten

Published in: ASIACRYPT (1) (2019)

Keyphrases

formal verification
model checking
cellular automata
smart card
information security
model checker
low cost
symbolic model checking
bounded model checking
automated verification
program slicing
cryptographic protocols
bayesian networks
temporal logic
formal specification