Search results for "coercion-resistance"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
2	Ralf Küsters, Tomasz Truderung, Andreas Vogt	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
2	Ralf Küsters, Tomasz Truderung	An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols.	IEEE Symposium on Security and Privacy	2009	DBLP DOI BibTeX RDF
2	Stéphanie Delaune, Steve Kremer, Mark Ryan	Coercion-Resistance and Receipt-Freeness in Electronic Voting.	CSFW	2006	DBLP DOI BibTeX RDF
1	Jeremy Clark, Urs Hengartner	Selections: Internet Voting with Over-the-Shoulder Coercion-Resistance.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	Ralf Küsters, Tomasz Truderung, Andreas Vogt	Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	Jeremy Clark, Urs Hengartner	Selections: Internet Voting with Over-the-Shoulder Coercion-Resistance.	Financial Cryptography	2011	DBLP DOI BibTeX RDF
1	Ralf Küsters, Tomasz Truderung, Andreas Vogt	Proving Coercion-Resistance of Scantegrity II.	IACR Cryptology ePrint Archive	2010	DBLP BibTeX RDF
1	Ralf Küsters, Tomasz Truderung, Andreas Vogt	Proving Coercion-Resistance of Scantegrity II.	ICICS	2010	DBLP DOI BibTeX RDF
1	Ralf Küsters, Tomasz Truderung, Andreas Vogt	A Game-Based Definition of Coercion-Resistance and Its Applications.	CSF	2010	DBLP DOI BibTeX RDF
1	Ralf Küsters, Tomasz Truderung, Andreas Vogt	A Game-Based Definition of Coercion-Resistance and its Applications.	IACR Cryptology ePrint Archive	2009	DBLP BibTeX RDF
1	Ralf Küsters, Tomasz Truderung	An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols	CoRR	2009	DBLP BibTeX RDF
1	Lucie Langer, Melanie Volkamer, Stefan G. Weber, Axel Schmidt, Johannes Buchmann	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
1	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
1	Michael R. Clarkson, Stephen Chong, Andrew C. Myers	Civitas: Toward a Secure Voting System.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	verifiable elections, voter registration, secure bulletin boards, cryptographic protocols, Electronic voting, coercion resistance
1	Michael Backes, 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
1	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
1	Stefan G. Weber, Roberto Araujo, Johannes Buchmann	On Coercion-Resistant Electronic Elections with Linear Work.	ARES	2007	DBLP DOI BibTeX RDF
1	Ari Juels, Dario Catalano, Markus Jakobsson	Coercion-resistant electronic elections.	WPES	2005	DBLP DOI BibTeX RDF	electronic voting, mix networks, receipt-freeness, coercion-resistance