共 50 条
- [1] Machine-Checked Proofs of Privacy for Electronic Voting Protocols 2017 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP), 2017, : 993 - 1008
- [2] Machine-checked proofs for electronic voting: privacy and verifiability for Belenios IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), 2018, : 298 - 312
- [3] Voting Credential Management System for Electronic Voting Privacy 2020 IFIP NETWORKING CONFERENCE AND WORKSHOPS (NETWORKING), 2020, : 594 - 598
- [5] Anonymity and everlasting privacy in electronic voting International Journal of Information Security, 2023, 22 : 819 - 832
- [7] Formal Privacy Analysis of an Electronic Voting Scheme 2008 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY, VOLS 1 AND 2, PROCEEDINGS, 2008, : 846 - 850
- [9] Electronic Voting Machine with Enhanced Security PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON COMMUNICATION AND ELECTRONICS SYSTEMS (ICCES 2018), 2018, : 403 - 406
- [10] ELECTRONIC VOTING MACHINE - DEVELOPMENT AND TECHNOLOGY ELECTRONICS INFORMATION & PLANNING, 1991, 18 (05): : 240 - 247