Mark Ryan, Gurchetan S. Grewal, Liqun Chen. Du-Vote: Remote Electronic Voting with Untrusted Computers. In Véronique Cortier, Riadh Robbana, editors, Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference , Tunis, Tunisia, June 23rd, 2014. Volume 1158 of CEUR Workshop Proceedings, pages 4, CEUR-WS.org, 2014. [doi]
@inproceedings{RyanGC14,
title = {Du-Vote: Remote Electronic Voting with Untrusted Computers},
author = {Mark Ryan and Gurchetan S. Grewal and Liqun Chen},
year = {2014},
url = {http://ceur-ws.org/Vol-1158/invited.pdf},
researchr = {https://researchr.org/publication/RyanGC14},
cites = {0},
citedby = {0},
pages = {4},
booktitle = {Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference , Tunis, Tunisia, June 23rd, 2014},
editor = {Véronique Cortier and Riadh Robbana},
volume = {1158},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}