Static Validation of Voting Protocols

Christoffer Rosenkilde Nielsen, Esben Heltoft Andersen, Hanne Riis Nielson

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

29 Downloads (Pure)

Original language	English
Title of host publication	Nordic Workshop on Programming Theory
Publication date	2005
Publication status	Published - 2005
Event	17th Nordic Workshop on Programming Theory - Copenhagen, Denmark Duration: 19 Oct 2005 → 21 Oct 2005 Conference number: 17

Workshop	17th Nordic Workshop on Programming Theory
Number	17
Country/Territory	Denmark
City	Copenhagen
Period	19/10/2005 → 21/10/2005

Access to Document

@inproceedings{07ba349b55614a48b077557eedb2d9d4,

title = "Static Validation of Voting Protocols",

keywords = "Protocols, LySa, Validation, Voting",

author = "Nielsen, {Christoffer Rosenkilde} and Andersen, {Esben Heltoft} and Nielson, {Hanne Riis}",

year = "2005",

language = "English",

booktitle = "Nordic Workshop on Programming Theory",

note = "17th Nordic Workshop on Programming Theory, NWPT'05 ; Conference date: 19-10-2005 Through 21-10-2005",

}

TY - GEN

T1 - Static Validation of Voting Protocols

AU - Nielsen, Christoffer Rosenkilde

AU - Andersen, Esben Heltoft

AU - Nielson, Hanne Riis

N1 - Conference code: 17

PY - 2005

Y1 - 2005

KW - Protocols

KW - LySa

KW - Validation

KW - Voting

M3 - Article in proceedings

BT - Nordic Workshop on Programming Theory

T2 - 17th Nordic Workshop on Programming Theory

Y2 - 19 October 2005 through 21 October 2005

ER -