Helios
From MaRDI portal
Software:51957
swMATH36255MaRDI QIDQ51957FDOQ51957
Author name not available (Why is that?)
Source code repository: https://github.com/benadida/helios-booth
Cited In (17)
- 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
- Secret, verifiable auctions from elections
- 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
- Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later
- Verifiable Multi-party Computation with Perfectly Private Audit Trail
- Surveying definitions of election verifiability
- A distributed networked system for secure publicly verifiable self-tallying online voting
- Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
- Strategies for Voter-Initiated Election Audits
- Exploiting re-voting in the Helios election system
- Surveying global verifiability
This page was built for software: Helios
