Verifying privacy-type properties of electronic voting protocols.

Stéphanie Delaune Steve Kremer Mark Ryan

Published in: J. Comput. Secur. (2009)

Keyphrases

voting protocols
personal information
database
special case
digital images
privacy preserving
image reconstruction
end to end