Verifying privacy-type properties of electronic voting protocols

S Delaune, S Kremer, Mark Ryan

Research output: Contribution to journal › Article

196 Citations (Scopus)

Original language	English
Pages (from-to)	435-487
Number of pages	53
Journal	Journal of Computer Security
Volume	17
Issue number	4
DOIs	https://doi.org/10.3233/JCS-2009-0340
Publication status	Published - 1 Jul 2009

Access to Document

@article{c92ffc5608454447948aac8f89fe8c4f,

title = "Verifying privacy-type properties of electronic voting protocols",

author = "S Delaune and S Kremer and Mark Ryan",

year = "2009",

month = jul,

day = "1",

doi = "10.3233/JCS-2009-0340",

language = "English",

volume = "17",

pages = "435--487",

journal = "Journal of Computer Security",

publisher = "IOS Press",

number = "4",

}