Static Validation of Voting Protocols

Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    20 Downloads (Pure)
    Original languageEnglish
    Title of host publicationNordic Workshop on Programming Theory
    Publication date2005
    Publication statusPublished - 2005
    Event17th Nordic Workshop on Programming Theory - Copenhagen, Denmark
    Duration: 19 Oct 200521 Oct 2005
    Conference number: 17

    Workshop

    Workshop17th Nordic Workshop on Programming Theory
    Number17
    CountryDenmark
    CityCopenhagen
    Period19/10/200521/10/2005

    Cite this

    Nielsen, C. R., Andersen, E. H., & Nielson, H. R. (2005). Static Validation of Voting Protocols. In Nordic Workshop on Programming Theory http://www.diku.dk/NWPT05/