Election Verifiability in Electronic Voting Protocols-Reference-Cited by-同舟云学术

Election Verifiability in Electronic Voting Protocols

Published:2010 Issue: Volume: Page:389-404
ISSN:0302-9743
Container-title:Computer Security – ESORICS 2010
language:
Short-container-title:

Author:

Kremer Steve,Ryan Mark,Smyth Ben

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-15497-3_24

Reference25 articles.

1. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: POPL 2001: Proc. 28th ACM Symposium on Principles of Programming Languages, pp. 104–115. ACM, New York (2001)

2. Adida, B.: Advances in Cryptographic Voting Systems. PhD thesis, MIT (2006)

3. Adida, B.: Helios: Web-based open-audit voting. In: Proc. 17th Usenix Security Symposium, pp. 335–348. USENIX Association (2008)

4. Adida, B., de Marneffe, O., Pereira, O., Quisquater, J.-J.: Electing a university president using open-audit voting: Analysis of real-world use of Helios. In: Electronic Voting Technology/Workshop on Trustworthy Elections, EVT/WOTE (2009)

5. Lecture Notes in Computer Science;R. Anderson,1995

Cited by 92 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Verification and Solutions for Estonian E-Voting;Proceedings of the 19th ACM Asia Conference on Computer and Communications Security;2024-07

2. Code Voting: When Simplicity Meets Security;Lecture Notes in Computer Science;2024

3. From Centralized to Decentralized Remote Electronic Voting;Advances in Information Security;2023-08-10

4. Election Verifiability in Receipt-Free Voting Protocols;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07

5. Privacy-Preserving Decision-Making over Blockchain;IEEE Transactions on Dependable and Secure Computing;2023