Static Validation of Voting Protocols | Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen
| | Abstract | The poster for our master's thesis of the same name. | | Keywords | poster, validation, voting, protocols | | Type | Misc [Poster] | | Year | 2005 | | Publisher | Informatics and Mathematical Modelling, Technical University of Denmark, DTU | | Address | Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby | | Electronic version(s) | [pdf] | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|