Automated Anonymity Verification of the ThreeBallot Voting System (2013)

by M Moran, J Heather, S A Schneider
Venue:In IFM. Pp