Helios
From MaRDI portal
Software:51957
No author found.
Source code repository: https://github.com/benadida/helios-booth
Related Items (17)
Protecting the privacy of voters: new definitions of ballot secrecy for e-voting ⋮ Strategies for Voter-Initiated Election Audits ⋮ Review of cryptographic schemes applied to remote electronic voting systems: remaining challenges and the upcoming post-quantum paradigm ⋮ How (not) to achieve both coercion resistance and cast as intended verifiability in remote evoting ⋮ Authentication with weaker trust assumptions for voting systems ⋮ Post-quantum online voting scheme ⋮ Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later ⋮ Surveying definitions of election verifiability ⋮ Privacy and verifiability in voting systems: methods, developments and trends ⋮ Surveying global verifiability ⋮ Exploiting re-voting in the Helios election system ⋮ Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols ⋮ Secret, verifiable auctions from elections ⋮ Belenios: a simple private and verifiable electronic voting system ⋮ A distributed networked system for secure publicly verifiable self-tallying online voting ⋮ Verifiable Multi-party Computation with Perfectly Private Audit Trail ⋮ \textsf{CSI-RAShi}: distributed key generation for CSIDH
This page was built for software: Helios
