M.D.: Verifying privacy-type properties of electronic voting protocols (2009)

by S Delaune, S Kremer, Ryan
Venue:Journal of Computer Security