A Core Calculus for Equational Proofs of Cryptographic Protocols.
Joshua GancherKristina SojakovaXiong FanElaine ShiGreg MorrisettPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- cryptographic protocols
- theorem proving
- equational theories
- theorem prover
- automated theorem proving
- natural deduction
- proof search
- computer algebra
- sequent calculus
- standard model
- cut elimination
- security properties
- inference rules
- first order logic
- security protocols
- lightweight
- authentication protocol
- private information retrieval