Verifying Properties of Electronic Voting Protocols ∗ St´ephanie Delaune LSV, France T´el´ecom R - Electronic voting - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2009-02-25 10:33:24		Verifying Properties of Electronic Voting Protocols ∗ St´ephanie Delaune LSV, France T´el´ecom R&D ENS Cachan, CNRS, France Add to Reading List Source URL: www.cs.bham.ac.uk. Download Document from Source Website File Size: 96,30 KB Share Document on Facebook