Formal Privacy Analysis of an Electronic Voting Scheme.

Xinxin Liu, Shaohua Tang

Browse the full CIS paper archive.