Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis
No abstract available.
Related papers
- The DEEPSEC Prover CAV 2018
- Analyzing security protocols with secrecy types and logic programs POPL 2002
- Probabilistic relational verification for cryptographic implementations POPL 2014
- Bounded expectations: resource analysis for probabilistic programs PLDI 2018
- Quantum relational Hoare logic POPL 2019
- Probabilistic Refinement Session Types PLDI 2025
- Probabilistic Resource-Aware Session Types POPL 2023
- Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation CAV 1996