"Automated Anonymity Verification of the ThreeBallot Voting System."

Murat Moran, James Heather, Steve A. Schneider (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics