Murat Moran, James Heather, Steve Schneider. Automated Anonymity Verification of the ThreeBallot Voting System. In Einar Broch Johnsen, Luigia Petre, editors, Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Volume 7940 of Lecture Notes in Computer Science, pages 94-108, Springer, 2013. [doi]
Abstract is missing.