Section outline

    • Mixnets και Verifiable Mixnets, Επίθεση tagging
    • Bayer Groth Proof of Shuffle
    • Helios: Τυπικός ορισμός λειτουργιών και επιθέσεις λόγω wFS
    • Παραλλαγές Helios για everlasting privacy
    • Παραλλαγές Helios για receipt - freeness και participation privacy 
    • Eligibility Verifiability και Belenios

    Διαφάνειες

    Προτεινόμενη Μελέτη

    • Pfitzmann, B.: Breaking an efficient anonymous channel. In: EUROCRYPT’94. pp. 332–340 (1995)
    • Bayer, S., Groth, J. (2012). Efficient Zero-Knowledge Argument for Correctness of a Shuffle–EUROCRYPT 2012
    • Βen Adida. 2008. Helios: web-based open-audit voting. In Proceedings of the 17th conference on Security symposium (SS'08). USENIX Association, USA, 335–348.
    • Haines, T., Mueller, J., Mosaheb, R., & Pryvalov, I. (2023). SoK: Secure E-Voting with Everlasting Privacy. In Proceedings on Privacy Enhancing Technologies (PoPETs).
    • Grontas, P., Pagourtzis, A. Anonymity and everlasting privacy in electronic voting. Int. J. Inf. Secur. 22, 819–832 (2023). 
    • Denise Demirel, J Van De Graaf, and R Araújo. “Improving Helios with Everlasting Privacy Towards the Public”. In: EVT/WOTE’12 Proceedings of the 2012 international conference on Electronic Voting Technology/Workshop on Trustworthy Elections (2012).
    • Josh Benaloh and Dwight Tuinstra. “Receipt-free secret-ballot elections (extended abstract)”. In: Proceedings of the twenty-sixth annual ACM symposium on Theory of computing - STOC ’94. ACM Press, 1994, pages 544– 553.
    • Martin Hirt and Kazue Sako. “Efficient receipt-free voting based on homomorphic encryption”. In. EUROCRYPT 2000
    • Belenios: A Simple Private and Verifiable Electronic Voting System. Véronique Cortier, Pierrick Gaudry, and Stéphane Glondu. In Foundations of Security, Protocols, and Equational Reasoning, pp. 214-238, 2019
    • Kulyk, O., Teague, V., Volkamer, M. Extending Helios Towards Private Eligibility Verifiability. Vote-ID 2015.
    • Pyrros Chaidos, Véronique Cortier, Georg Fuchsbauer, and David Galindo. BeleniosRF: A non-interactive receipt-free electronic voting scheme. In 23rd ACM Conference on Computer and Communications Security (CCS’16), pages 1614–1625, Vienna, Austria, 2016
    • Olivier Blazy, Georg Fuchsbauer, David Pointcheval, and Damien Vergnaud. Signatures on randomizable ciphertexts. In Public Key Cryptography - PKC 2011