Computer-Aided Cryptographic Proofs
No abstract available.
Related papers
- Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience CPP 2011
- Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs CPP 2012
- A Core Calculus for Equational Proofs of Cryptographic Protocols POPL 2023
- A verified algebraic representation of cairo program execution CPP 2022
- Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols CAV 1998
- ILC: a calculus for composable, computational cryptography PLDI 2019
- Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU CGO 2025
- Poling: SMT Aided Linearizability Proofs CAV 2015