Card-Based Cryptography Meets Formal Verification.
Alexander KochMichael SchremppMichael KirstenPublished in: New Gener. Comput. (2021)
Keyphrases
- formal verification
- model checking
- smart card
- cellular automata
- information security
- model checker
- bounded model checking
- symbolic model checking
- automated verification
- low cost
- temporal logic
- functional verification
- cryptographic protocols
- orders of magnitude
- information systems
- partial order
- program slicing
- expert systems