Search results for "receipt-freeness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
196	Stéphanie Delaune, Steve Kremer, Mark Ryan 0001	Coercion-Resistance and Receipt-Freeness in Electronic Voting.	CSFW	2006	DBLP DOI BibTeX RDF
191	Riza Aditya, Byoungcheon Lee, Colin Boyd, Ed Dawson	An Efficient Mixnet-Based Voting Scheme Providing Receipt-Freeness.	TrustBus	2004	DBLP DOI BibTeX RDF	mixnet, designated-verifier re-encryption proof, randomization, Electronic voting, receipt-freeness, re-encryption
191	Byoungcheon Lee, Colin Boyd, Ed Dawson, Kwangjo Kim, Jeongmo Yang, Seungjae Yoo	Providing Receipt-Freeness in Mixnet-Based Voting Protocols.	ICISC	2003	DBLP DOI BibTeX RDF	Mixnet, Designated-verifier re-encryption proof, Tamper resistant randomizer, Electronic voting, Receipt-freeness, Re-encryption
191	Hugo L. Jonker, Erik P. de Vink	Formalising Receipt-Freeness.	ISC	2006	DBLP DOI BibTeX RDF	online voting schemes, formal methods, eGovernment, receipt-freeness
175	Byoungcheon Lee, Kwangjo Kim	Receipt-Free Electronic Voting Scheme with a Tamper-Resistant Randomizer.	ICISC	2002	DBLP DOI BibTeX RDF	tamper-resistant randomizer, divertible zero-knowledge proof, Electronic voting, receipt-freeness
120	Xiaofeng Chen 0001, Byoungcheon Lee, Kwangjo Kim	Receipt-Free Electronic Auction Schemes Using Homomorphic Encryption.	ICISC	2003	DBLP DOI BibTeX RDF	Bid-rigging, Receipt-free, Auction, Homomorphic encryption
91	Orhan Cetinkaya	Analysis of Security Requirements for Cryptographic Voting Protocols (Extended Abstract).	ARES	2008	DBLP DOI BibTeX RDF	e-voting requirements, voting problem, electronic voting, verifiability, receipt-freeness
72	Martin Hirt, Kazue Sako	Efficient Receipt-Free Voting Based on Homomorphic Encryption.	EUROCRYPT	2000	DBLP DOI BibTeX RDF
60	Kazue Sako, Joe Kilian	Receipt-Free Mix-Type Voting Scheme - A Practical Solution to the Implementation of a Voting Booth.	EUROCRYPT	1995	DBLP DOI BibTeX RDF
48	Hugo L. Jonker, Sjouke Mauw, Jun Pang 0001	Measuring Voter-Controlled Privacy.	ARES	2009	DBLP DOI BibTeX RDF
48	Sriperumbuduru Kandala Simhalu, Keiji Takeda	Browser Based Agile E-Voting System.	ASIAN	2007	DBLP DOI BibTeX RDF	Individual Verifiability, Agile Voting, Anonymity, E-Voting
48	Sangjin Kim, Heekuck Oh	A New Universally Verifiable and Receipt-Free Electronic Voting Scheme Using One-Way Untappable Channels.	AWCC	2004	DBLP DOI BibTeX RDF
48	Masayuki Abe, Koutarou Suzuki	Receipt-Free Sealed-Bid Auction.	ISC	2002	DBLP DOI BibTeX RDF	bid-rigging, receipt-free, chameleon bit-commitment, Sealed-bid auction
43	Roland Wen, Richard Buckland	Masked Ballot Voting for Receipt-Free Online Elections.	VoteID	2009	DBLP DOI BibTeX RDF	online elections, Receipt-freeness, voting schemes
43	André Zúquete, Filipe Almeida	Verifiable anonymous vote submission.	SAC	2008	DBLP DOI BibTeX RDF	innocuous vote receipt, anonymity, verifiability, e-voting, receipt-freeness
43	Yong-Sork Her, Kenji Imamoto, Kouichi Sakurai	Some Remarks on Security of Receipt-Free E-auction.	ICITA (2)	2005	DBLP DOI BibTeX RDF	Bid-rigging, Bid-collusion, security, Cryptography, Receipt-freeness, E-auction
43	Ari Juels, Dario Catalano, Markus Jakobsson	Coercion-resistant electronic elections.	WPES	2005	DBLP DOI BibTeX RDF	electronic voting, mix networks, receipt-freeness, coercion-resistance
40	Kun Peng	Receipt-Freeness By Flexible Usage Of Mix Network.	AsiaJCIS	2023	DBLP DOI BibTeX RDF
40	Ashley Fraser, Elizabeth A. Quaglia, Ben Smyth	A critique of game-based definitions of receipt-freeness for voting.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
40	Oksana Kulyk, Melanie Volkamer	A Proxy Voting Scheme Ensuring Participation Privacy and Receipt-Freeness.	HICSS	2019	DBLP BibTeX RDF
40	Ashley Fraser, Elizabeth A. Quaglia, Ben Smyth	A Critique of Game-Based Definitions of Receipt-Freeness for Voting.	ProvSec	2019	DBLP DOI BibTeX RDF
40	Yefeng Ruan, Xukai Zou	Receipt-freeness and coercion resistance in remote E-voting systems.	Int. J. Secur. Networks	2017	DBLP DOI BibTeX RDF
40	David Bernhard, Oksana Kulyk, Melanie Volkamer	Security Proofs for Participation Privacy, Receipt-Freeness and Ballot Privacy for the Helios Voting Scheme.	ARES	2017	DBLP DOI BibTeX RDF
40	Alessandro Bruni, Eva Drewsen, Carsten Schürmann 0001	Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy.	E-VOTE-ID	2017	DBLP DOI BibTeX RDF
40	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
40	Yoshifumi Ueshige, Kouichi Sakurai	Analysis of "Receipt-Freeness" and "Coercion-Resistance" in Biometric Authentication Protocols.	AINA	2016	DBLP DOI BibTeX RDF
40	Fenfen Luo, Changlu Lin, Shengyuan Zhang, Yining Liu 0001	基于FOO投票协议的无收据电子投票方案 (Receipt-freeness Electronic Voting Scheme Based on FOO Voting Protocol).	计算机科学	2015	DBLP BibTeX RDF
40	Yoshifumi Ueshige, Kouichi Sakurai	Towards 'Receipt-Freeness' in Remote Biometric Authentication.	EST	2014	DBLP DOI BibTeX RDF
40	James Heather, Steve A. Schneider	A Formal Framework for Modelling Coercion Resistance and Receipt Freeness.	FM	2012	DBLP DOI BibTeX RDF
40	Dalia Khader, Peter Y. A. Ryan	Receipt Freeness of Prêt à Voter Provably Secure.	IACR Cryptol. ePrint Arch.	2011	DBLP BibTeX RDF
40	Katharina Bräunlich, Rüdiger Grimm	Formalization of Receipt-Freeness in the Context of Electronic Voting.	ARES	2011	DBLP DOI BibTeX RDF
40	Wei Han, Kefei Chen, Dong Zheng 0001	Receipt-Freeness for Groth e-Voting Schemes.	J. Inf. Sci. Eng.	2009	DBLP BibTeX RDF
40	Bo Meng	A Formal Logic Framework for Receipt-freeness in Internet Voting Protocol.	J. Comput.	2009	DBLP BibTeX RDF
40	Orhan Cetinkaya	Verifiability and receipt-freeness in cryptographic voting systems ; Kriptografik seçim sistemlerinde doğrulanabilirlik ve oyların ispatlanamamazlığı. (PDF / PS)		2007	RDF
40	Emmanouil Magkos, Mike Burmester, Vassilios Chrissikopoulos	Receipt-Freeness in Large-Scale Elections without Untappable Channels.	I3E	2001	DBLP DOI BibTeX RDF
40	Nikos Alexandris, Emmanouil Magkos, Vassilios Chrissikopoulos	Software-Based Receipt-Freeness in On-Line Elections.	Network Security	2001	DBLP DOI BibTeX RDF
24	Mehdi Talbi, Valérie Viet Triem Tong, Adel Bouhoula	Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting Protocols.	ARES	2009	DBLP DOI BibTeX RDF
24	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
24	B. R. Purushothama, Alwyn R. Pais	Design and Implementation of Secure Internet Based Voting System with User Anonymity Using Identity Based Encryption System.	IEEE SCC	2009	DBLP DOI BibTeX RDF
24	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
24	Lukasz Nitschke	Secure Internet Voting Based on Paper Ballots.	ICISS	2008	DBLP DOI BibTeX RDF
24	Stefan G. Weber, Roberto Araújo 0001, Johannes Buchmann 0001	On Coercion-Resistant Electronic Elections with Linear Work.	ARES	2007	DBLP DOI BibTeX RDF
24	Olivier de Marneffe, Olivier Pereira, Jean-Jacques Quisquater	Simulation-Based Analysis of E2E Voting Systems.	VOTE-ID	2007	DBLP DOI BibTeX RDF
24	Wei-Chi Ku, Chun-Ming Ho	An e-Voting Scheme against Bribe and Coercion.	EEE	2004	DBLP DOI BibTeX RDF
24	Olivier Baudron, Pierre-Alain Fouque, David Pointcheval, Jacques Stern, Guillaume Poupard	Practical multi-candidate election system.	PODC	2001	DBLP DOI BibTeX RDF