Card-based Cryptography Meets Formal Verification.
Alexander KochMichael SchremppMichael KirstenPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- formal verification
- model checking
- cellular automata
- smart card
- model checker
- information security
- automated verification
- low cost
- program slicing
- symbolic model checking
- cryptographic protocols
- bounded model checking
- functional verification
- artificial intelligence
- information systems
- open source
- point of sale
- software engineering
- multi agent