Du-Vote: Remote Electronic Voting with Untrusted Computers

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]

Authors

Mark Ryan

This author has not been identified. Look up 'Mark Ryan' in Google

Gurchetan S. Grewal

This author has not been identified. Look up 'Gurchetan S. Grewal' in Google

Liqun Chen

This author has not been identified. Look up 'Liqun Chen' in Google