swMATH36255MaRDI QIDQ51957FDOQ51957
Author name not available (Why is that?)
Official website: https://heliosvoting.org
Source code repository: https://github.com/benadida/helios-booth
Cited In (35)
- Verificatum
- Privacy and verifiability in voting systems: methods, developments and trends
- Protecting the privacy of voters: new definitions of ballot secrecy for e-voting
- Post-quantum online voting scheme
- \textsf{CSI-RAShi}: distributed key generation for CSIDH
- Belenios
- Emerging issues and trends in formal methods in cryptographic protocol analysis: twelve years later
- Secret, verifiable auctions from elections
- Verifiable multi-party computation with perfectly private audit trail
- Review of cryptographic schemes applied to remote electronic voting systems: remaining challenges and the upcoming post-quantum paradigm
- Belenios: a simple private and verifiable electronic voting system
- How (not) to achieve both coercion resistance and cast as intended verifiability in remote evoting
- Authentication with weaker trust assumptions for voting systems
- YAPA
- AVISPA
- FAST
- ProVerif
- PandA
- scyther
- Charm
- TS#
- NFLlib
- Akiss
- ADSNARK
- JavaSPI
- TAMARIN
- CoSP
- CPSA
- Surveying definitions of election verifiability
- Strategies for voter-initiated election audits
- A distributed networked system for secure publicly verifiable self-tallying online voting
- MuSig2
- Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
- Exploiting re-voting in the Helios election system
- Surveying global verifiability
This page was built for software: Helios
