Steve Kremer Mark Ryan Ben Smyth Election Verifiability in Electronic Voting Protocols. 389-404 2010 ESORICS http://dx.doi.org/10.1007/978-3-642-15497-3_24 conf/esorics/2010 db/conf/esorics/esorics2010.html#KremerRS10