Towards automatic analysis of election verifiability properties (2009)

by Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh