Author:
Haines Thomas,Roenne Peter
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Adida, B.: Helios: web-based open-audit voting. In: van Oorschot, P.C., (ed.) USENIX Security Symposium, pp. 335–348. USENIX Association (2008)
2. Lecture Notes in Computer Science;P Gaudry,2020
3. Lecture Notes in Computer Science;R Haenni,2020
4. Haines, T., Goré, R., Sharma, B.: Did you mix me? Formally verifying verifiable mix nets in voting. In: 2021 IEEE Symposium on Security and Privacy, SP 2021, San Jose, CA, USA, 23–27 May 2021. IEEE (2021)
5. Haines, T., Goré, R., Tiwari, M.: Verified verifiers for verifying elections. In: ACM Conference on Computer and Communications Security, pp. 685–702. ACM (2019)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献