Verifying privacy-type properties of electronic voting protocols (2009)

by Stéphanie Delaune, Steve Kremer, Mark Ryan
Venue:Journal of Computer Security