Implementation of the Voting Client Core, 2016. ,
Helios: Web-based Open-Audit Voting, 2008. ,
Electing a university president using open-audit voting: Analysis of real-world use of Helios, 2009. ,
Internet Voting System with Cast as Intended Verification, VoteID, 2011. ,
DOI : 10.1007/978-3-642-32747-6_3
Public-Key Encryption in a Multi-user Setting: Security Proofs and Improvements, EUROCRYPT, 2000. ,
DOI : 10.1007/3-540-45539-6_18
Ballot casting assurance via voter-initiated poll station auditing, 2007. ,
Receipt-free secret-ballot elections (extended abstract), Proceedings of the twenty-sixth annual ACM symposium on Theory of computing , STOC '94, 1994. ,
DOI : 10.1145/195058.195407
SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions, 2015 IEEE Symposium on Security and Privacy, 2015. ,
DOI : 10.1109/SP.2015.37
High-Speed Software Implementation of the Optimal Ate Pairing over Barreto???Naehrig Curves, Pairing-Based Cryptography, 2010. ,
DOI : 10.1007/978-3-642-17455-1_2
Batch Groth???Sahai, ACNS 2010, 2010. ,
DOI : 10.1007/978-3-642-13708-2_14
URL : https://hal.archives-ouvertes.fr/inria-00577167
Signatures on Randomizable Ciphertexts, PKC 2011, 2011. ,
DOI : 10.1007/978-3-642-19379-8_25
URL : https://hal.archives-ouvertes.fr/inria-00542643
Short signatures from the Weil pairing, J. of Cryptology, vol.17, issue.4, 2004. ,
Formalization of Receipt-Freeness in the Context of Electronic Voting, 2011 Sixth International Conference on Availability, Reliability and Security, 2011. ,
DOI : 10.1109/ARES.2011.25
Incoercible multiparty computation (extended abstract), FOCS '96, 1996. ,
Relaxing Chosen-Ciphertext Security, CRYPTO 2003, 2003. ,
DOI : 10.1007/978-3-540-45146-4_33
A Cryptographic Library for the Internet of Things. https://github.com/CertiVox, 2015. ,
Scantegrity: End-to-End Voter-Verifiable Optical- Scan Voting, IEEE Security & Privacy Magazine, vol.6, issue.3, 2008. ,
DOI : 10.1109/MSP.2008.70
On Some Incompatible Properties of Voting Schemes, EVT/WOTE, 2010. ,
DOI : 10.1007/978-3-642-12980-3_11
URL : https://hal.archives-ouvertes.fr/inria-00539539
Robust receipt-free election system with ballot secrecy and verifiability, Network and Distributed System Security Symposium, 2008. ,
Civitas: Toward a Secure Voting System, 2008 IEEE Symposium on Security and Privacy (sp 2008), 2008. ,
DOI : 10.1109/SP.2008.32
Election Verifiability for Helios under Weaker Trust Assumptions, ESORICS 2014, 2014. ,
DOI : 10.1007/978-3-319-11212-1_19
URL : https://hal.archives-ouvertes.fr/hal-01080292
Attacking and fixing Helios: An analysis of ballot secrecy, CSF 2011, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00732899
Attacking and fixing Helios: An analysis of ballot secrecy, Journal of Computer Security, vol.21, issue.1, p.2013 ,
URL : https://hal.archives-ouvertes.fr/hal-00732899
A secure and optimally efficient multi-authority election scheme, EUROCRYPT'97, 1997. ,
Coercion-Resistance and Receipt-Freeness in Electronic Voting, 19th IEEE Computer Security Foundations Workshop (CSFW'06), 2006. ,
DOI : 10.1109/CSFW.2006.8
Proofs on Encrypted Values in Bilinear Groups and an Application to Anonymity of Signatures, Pairing-Based Cryptography?Pairing, 2009. ,
DOI : 10.1007/11426639_7
URL : https://hal.archives-ouvertes.fr/inria-00539544
Coercion Resistant End-to-end Voting, 2009. ,
DOI : 10.1007/978-3-642-03549-4_21
The Norwegian internet voting protocol Belenios ? Verifiable online voting system, IACR Cryptology ePrint Archive, 2013. ,
QA-NIZK Arguments in Asymmetric Groups: New Tools and New Constructions, ASIACRYPT 2015, 2015. ,
DOI : 10.1007/978-3-662-48797-6_25
Efficient Non-interactive Proof Systems for Bilinear Groups, EUROCRYPT, 2008. ,
DOI : 10.1007/978-3-540-78967-3_24
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness, Formal Methods 2012, 2012. ,
DOI : 10.1007/978-3-642-32759-9_19
Receipt-Free K-out-of-L Voting Based on ElGamal Encryption, 2010. ,
DOI : 10.1007/978-3-642-12980-3_3
Efficient Receipt-Free Voting Based on Homomorphic Encryption, EUROCRYPT, 2000. ,
DOI : 10.1007/3-540-45539-6_38
Formalising Receipt-Freeness, Information Security, 2006. ,
DOI : 10.1007/11836810_34
Coercion-resistant electronic elections, Proceedings of the 2005 ACM workshop on Privacy in the electronic society , WPES '05, 2005. ,
DOI : 10.1145/1102199.1102213
End-to-End Verifiable Elections in the Standard Model, EUROCRYPT 2015, 2015. ,
DOI : 10.1007/978-3-662-46803-6_16
Extending Helios Towards Private Eligibility Verifiability, E-Voting and Identity 2015, 2015. ,
DOI : 10.1007/978-3-319-22270-7_4
An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols, 2009 30th IEEE Symposium on Security and Privacy, 2009. ,
DOI : 10.1109/SP.2009.13
Receipt-freeness in Large-scale Elections without Untappable Channels, E-Commerce, E-Business, E-Government 2001. Kluwer, 2001. ,
DOI : 10.1007/0-306-47009-8_50
Receipt-Free Universally-Verifiable Voting with Everlasting Privacy, CRYPTO 2006, 2006. ,
DOI : 10.1007/11818175_22
Receipt-free electronic voting schemes for large scale elections, Security Protocols 97, 1997. ,
DOI : 10.1007/BFb0028157
The PrêtPrêt`Prêtà Voter verifiable election system, IEEE Transactions on Information Forensics and Security, vol.4, 2009. ,
Selene: Voting with Transparent Verifiability and Coercion-Mitigation, Cryptology ePrint Archive, 2015. ,
DOI : 10.1007/978-3-662-53357-4_12
URL : https://hal.archives-ouvertes.fr/hal-01242690
Security Analysis of the Estonian Internet Voting System, Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, CCS '14, 2014. ,
DOI : 10.1145/2660267.2660315
Efficient Identity-Based Encryption Without Random Oracles, EUROCRYPT 2005, 2005. ,
DOI : 10.1007/11426639_7