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]
Abstract is missing.