Symbolic and Computational Reasoning About Cryptographic Modes of Operation.

Catherine A. Meadows

Published in: IACR Cryptol. ePrint Arch. (2020)

Keyphrases

smart card
artificial intelligence
neural network
expert systems
computational models
hash functions
cutting plane
computational tools
formal theory