Receipt-Free Electronic Voting from zk-SNARK Topics: Applied Cryptography; Privacy Enhancing Technologies; Security Protocols In Proceedings of the 20th International Conference on Security and Cryptography SECRYPT - Volume 1, 254-266, 2023 , Rome, Italy