A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols.
Cas CremersCaroline FontaineCharlie JacommePublished in: IEEE Symposium on Security and Privacy (2022)
Keyphrases
- security protocols
- authentication protocol
- quantum computation
- security properties
- communication protocols
- logic circuits
- intrusion detection
- key agreement protocol
- security services
- cryptographic protocols
- proof search
- logic synthesis
- security requirements
- network security
- information security
- secure multiparty computation
- user interaction
- security mechanisms
- security issues
- security policies
- theorem proving
- quantum computing
- access control
- key exchange
- information systems
- ctl model update
- automated theorem proving
- quantum mechanics
- concurrency control protocols
- key distribution
- communication protocol
- application level
- logical framework
- security analysis
- privacy preserving
- logic programming