The following pages link to Helios (Q51957):
Displaying 17 items.
- Privacy and verifiability in voting systems: methods, developments and trends (Q395657) (← links)
- Protecting the privacy of voters: new definitions of ballot secrecy for e-voting (Q832400) (← links)
- Review of cryptographic schemes applied to remote electronic voting systems: remaining challenges and the upcoming post-quantum paradigm (Q1643980) (← links)
- Authentication with weaker trust assumptions for voting systems (Q1653252) (← links)
- Exploiting re-voting in the Helios election system (Q1711416) (← links)
- Secret, verifiable auctions from elections (Q1749541) (← links)
- A distributed networked system for secure publicly verifiable self-tallying online voting (Q2053887) (← links)
- \textsf{CSI-RAShi}: distributed key generation for CSIDH (Q2118548) (← links)
- How (not) to achieve both coercion resistance and cast as intended verifiability in remote evoting (Q2149844) (← links)
- Surveying global verifiability (Q2203597) (← links)
- Belenios: a simple private and verifiable electronic voting system (Q2303376) (← links)
- Post-quantum online voting scheme (Q2670852) (← links)
- Surveying definitions of election verifiability (Q2671813) (← links)
- Verifiable Multi-party Computation with Perfectly Private Audit Trail (Q2822682) (← links)
- Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later (Q2945721) (← links)
- Strategies for Voter-Initiated Election Audits (Q3179197) (← links)
- Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols (Q3304811) (← links)
