Analysis of an Electronic Voting Protocol in the Applied Pi Calculus
No abstract available.
Related papers
- Model Checking Indistinguishability of Randomized Security Protocols CAV 2018
- Safe Environmental Envelopes of Discrete Systems CAV 2023
- The DEEPSEC Prover CAV 2018
- Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis ESOP 2001
- I Think I Voted: E-Voting vs. Democracy CAV 2006
- Space-Time Trade-Off Optimization for a Class of Electronic Structure Calculations PLDI 2002
- Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis CAV 2000
- Quorum Tree Abstractions of Consensus Protocols ESOP 2023