@inproceedings {179228,
	author = {Dalia Khader and Qiang Tang and Peter Y.A. Ryan},
	title = {Proving {Pr{\^e}t} {{\`a}} Voter Receipt Free Using Computational Security Models},
	booktitle = {2013 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE 13)},
	year = {2013},
	address = {Washington, D.C.},
	url = {https://www.usenix.org/conference/evtwote13/workshop-program/presentation/khader},
	publisher = {USENIX Association},
	month = aug
}
