I Think I Voted: E-Voting vs. Democracy
No abstract available.
Related papers
- Analysis of an Electronic Voting Protocol in the Applied Pi Calculus ESOP 2005
- Extracting smart contracts tested and verified in Coq CPP 2021
- Model Checking Indistinguishability of Randomized Security Protocols CAV 2018
- Analysis and modeling of the governance in general programming languages SLE 2019
- Safe Environmental Envelopes of Discrete Systems CAV 2023
- Quorum Tree Abstractions of Consensus Protocols ESOP 2023
- Formal Verification of the Ethereum 2.0 Beacon Chain TACAS 2022
- Comparative Synthesis: Learning Near-Optimal Network Designs by Query POPL 2023