Search results for "coercion-resistance"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
194	Bo Meng	A Formal Analysis of Coercion-Resistance of the Internet Voting Protocol Based on DKR Formal Model.	ISIP	2008	DBLP DOI BibTeX RDF	internet voting protocol, formal analysis, coercion-resistance
149	Ralf Küsters, Tomasz Truderung	An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols.	SP	2009	DBLP DOI BibTeX RDF
86	Stéphanie Delaune, Steve Kremer, Mark Ryan 0001	Coercion-Resistance and Receipt-Freeness in Electronic Voting.	CSFW	2006	DBLP DOI BibTeX RDF
86	Ryan W. Gardner, Sujata Garera, Aviel D. Rubin	Coercion Resistant End-to-end Voting.	Financial Cryptography	2009	DBLP DOI BibTeX RDF	end-to-end voting, privacy, cryptography, coercion
68	Ralf Küsters, Tomasz Truderung, Andreas Vogt 0001	Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	privacy, voting, protocol analysis, verifiability, coercion-resistance
57	Michael Backes 0001, Catalin Hritcu, Matteo Maffei	Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus.	CSF	2008	DBLP DOI BibTeX RDF	Electronic Voting Protocols, Language-based security, Applied Pi-calculus
50	Stefan G. Weber, Roberto Araújo 0001, Johannes Buchmann 0001	On Coercion-Resistant Electronic Elections with Linear Work.	ARES	2007	DBLP DOI BibTeX RDF
40	Quentin Yang	Résistance à la coercition en vote électronique : conception et analyse. (Coercion-resistance in electronic voting : design and analysis).		2023	RDF
38	Michael R. Clarkson, Stephen Chong, Andrew C. Myers	Civitas: Toward a Secure Voting System.	SP	2008	DBLP DOI BibTeX RDF	verifiable elections, voter registration, secure bulletin boards, cryptographic protocols, Electronic voting, coercion resistance
38	Miroslaw Kutylowski, Filip Zagórski	Verifiable Internet Voting Solving Secure Platform Problem.	IWSEC	2007	DBLP DOI BibTeX RDF	vote selling, anonymity, electronic voting, coercion resistance
38	Ari Juels, Dario Catalano, Markus Jakobsson	Coercion-resistant electronic elections.	WPES	2005	DBLP DOI BibTeX RDF	electronic voting, mix networks, receipt-freeness, coercion-resistance
30	Tamara Finogina, Javier Herranz	On remote electronic voting with both coercion resistance and cast-as-intended verifiability.	J. Inf. Secur. Appl.	2023	DBLP DOI BibTeX RDF
30	Alisa Pankova, Jan Willemson	Relations Between Privacy, Verifiability, Accountability and Coercion-Resistance in Voting Protocols.	ACNS	2022	DBLP DOI BibTeX RDF
30	Alisa Pankova, Jan Willemson	Relations between Privacy, Verifiability, Accountability and Coercion-Resistance in Voting Protocols.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
30	Tamara Finogina, Javier Herranz, Enrique Larraia	How (not) to Achieve both Coercion Resistance and Cast as Intended Verifiability in Remote eVoting.	CANS	2021	DBLP DOI BibTeX RDF
30	Ben Smyth	Surveying definitions of coercion resistance.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
30	Iñigo Querejeta-Azurmendi, Luis Hernández Encinas, David Arroyo Guardeño, Jorge L. Hernandez-Ardieta	An Internet Voting Proposal Towards Improving Usability and Coercion Resistance.	CISIS-ICEUTE	2019	DBLP DOI BibTeX RDF
30	Panagiotis Grontas, Aris Pagourtzis, Alexandros Zacharakis, Bingsheng Zhang	Towards everlasting privacy and efficient coercion resistance in remote electronic voting.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
30	Panagiotis Grontas, Aris Pagourtzis, Alexandros Zacharakis, Bingsheng Zhang	Towards Everlasting Privacy and Efficient Coercion Resistance in Remote Electronic Voting.	Financial Cryptography Workshops	2018	DBLP DOI BibTeX RDF
30	Yefeng Ruan, Xukai Zou	Receipt-freeness and coercion resistance in remote E-voting systems.	Int. J. Secur. Networks	2017	DBLP DOI BibTeX RDF
30	Panagiotis Grontas, Aris Pagourtzis, Alexandros Zacharakis	Coercion Resistance in a Practical Secret Voting Scheme for Large Scale Elections.	ISPAN-FCST-ISCC	2017	DBLP DOI BibTeX RDF
30	Masoud Tabatabaei, Wojciech Jamroga, Peter Y. A. Ryan	Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt.	PrAISe@ECAI	2016	DBLP DOI BibTeX RDF
30	Yoshifumi Ueshige, Kouichi Sakurai	Analysis of "Receipt-Freeness" and "Coercion-Resistance" in Biometric Authentication Protocols.	AINA	2016	DBLP DOI BibTeX RDF
30	Carmen Kempka	Matters of Coercion-Resistance in Cryptographic Voting Schemes.		2014	RDF
30	Khaoula Marzouki, Amira Radhouani, Narjes Ben Rajeb	Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol.	Int. J. Inf. Secur. Priv.	2013	DBLP DOI BibTeX RDF
30	Ralf Küsters, Tomasz Truderung, Andreas Vogt 0001	A game-based definition of coercion resistance and its applications.	J. Comput. Secur.	2012	DBLP DOI BibTeX RDF
30	Payas Gupta, Xuhua Ding, Debin Gao	Coercion resistance in authentication responsibility shifting.	AsiaCCS	2012	DBLP DOI BibTeX RDF
30	James Heather, Steve A. Schneider	A Formal Framework for Modelling Coercion Resistance and Receipt Freeness.	FM	2012	DBLP DOI BibTeX RDF
30	Jeremy Clark, Urs Hengartner	Selections: Internet Voting with Over-the-Shoulder Coercion-Resistance.	IACR Cryptol. ePrint Arch.	2011	DBLP BibTeX RDF
30	Ralf Küsters, Tomasz Truderung, Andreas Vogt 0001	Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study.	IACR Cryptol. ePrint Arch.	2011	DBLP BibTeX RDF
30	Jeremy Clark, Urs Hengartner	Selections: Internet Voting with Over-the-Shoulder Coercion-Resistance.	Financial Cryptography	2011	DBLP DOI BibTeX RDF
30	Ralf Küsters, Tomasz Truderung, Andreas Vogt 0001	Proving Coercion-Resistance of Scantegrity II.	IACR Cryptol. ePrint Arch.	2010	DBLP BibTeX RDF
30	Ralf Küsters, Tomasz Truderung, Andreas Vogt 0001	A Game-Based Definition of Coercion-Resistance and Its Applications.	CSF	2010	DBLP DOI BibTeX RDF
30	Ralf Küsters, Tomasz Truderung, Andreas Vogt 0001	Proving Coercion-Resistance of Scantegrity II.	ICICS	2010	DBLP DOI BibTeX RDF
30	Ralf Küsters, Tomasz Truderung	An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols	CoRR	2009	DBLP BibTeX RDF
30	Ralf Küsters, Tomasz Truderung, Andreas Vogt 0001	A Game-Based Definition of Coercion-Resistance and its Applications.	IACR Cryptol. ePrint Arch.	2009	DBLP BibTeX RDF
21	Lucie Langer, Melanie Volkamer, Stefan G. Weber, Axel Schmidt 0001, Johannes Buchmann 0001	Towards long-term free and secret electronic elections providing voter-verifiability in the bulletin board model.	ICEGOV	2009	DBLP DOI BibTeX RDF	long-term anonymity, electronic voting, security requirements, verifiability