Theodoros Balopoulos Stefanos Gritzalis Sokratis K. Katsikas Specifying electronic voting protocols in typed MSR. 35-39 2005 conf/wpes/2005 WPES http://doi.acm.org/10.1145/1102199.1102207 db/conf/wpes/wpes2005.html#BalopoulosGK05