Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant.
David BaeldeStéphanie DelauneAdrien KoutsosSolène MoreauPublished in: CSF (2022)
Keyphrases
- security protocols
- theorem proving
- mathematical proofs
- theorem prover
- automated design
- natural deduction
- proof search
- authentication protocol
- formal proof
- security properties
- security services
- cryptographic protocols
- key management
- sequent calculus
- cryptographic algorithms
- automated theorem provers
- artificial immune algorithm
- interactive theorem proving
- first order logic
- security requirements