Formalizing and Proving Privacy Properties of Voting Protocols Using Alpha-Beta Privacy.

Sbastien Gondron, Sebastian Mdersheim

Browse the full ESORICS paper archive.