@MISC\{IMM2005-04393,
    author       = "C. R. Nielsen and E. H. Andersen",
    title        = "Static Validation of Voting Protocols",
    year         = "2005",
    keywords     = "poster, validation, voting, protocols",
    publisher    = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/4393-full.html",
    abstract     = "The poster for our master's thesis of the same name."
}