A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols.
Cas CremersCaroline FontaineCharlie JacommePublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- quantum computation
- security protocols
- logic circuits
- security properties
- cryptographic protocols
- key agreement protocol
- information security
- communication protocols
- intrusion detection
- security services
- security issues
- security requirements
- classical logic
- key exchange
- access control
- logic synthesis
- statistical databases
- network security
- authentication protocol
- secure multiparty computation
- ctl model update
- proof search
- user interaction
- automated theorem proving
- cyber security
- security mechanisms
- theorem prover