Model Checking Security Protocols Using a Logic of Belief
Abstract elided by the publisher.
Related papers
- Model Checking Indistinguishability of Randomized Security Protocols CAV 2018
- Refinement types for secure implementations TOPLAS 2011
- Modular verification of security protocol code by typing POPL 2010
- Analyzing security protocols with secrecy types and logic programs POPL 2002
- Affine Refinement Types for Secure Distributed Programming TOPLAS 2015
- Partial Order Reductions for Security Protocol Verification TACAS 2000
- SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq TOPLAS 2023
- Programming and reasoning with partial observability OOPSLA 2020