Computer-Assisted Verification of a Protocol for Certified Email
No abstract available.
Related papers
- Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience CPP 2011
- Leapfrog: certified equivalence for protocol parsers PLDI 2022
- Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra POPL 2025
- Deep Specifications and Certified Abstraction Layers POPL 2015
- Modular development of certified program verifiers with a proof assistant ICFP 2006
- Modular development of certified program verifiers with a proof assistant, JFP 2008
- Certifying derivation of state machines from coroutines POPL 2022
- Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes PLDI 2021