Specifying electronic voting protocols in typed MSR

Theodoros Balopoulos, Stefanos Gritzalis, Sokratis K. Katsikas. Specifying electronic voting protocols in typed MSR. In Vijay Atluri, Sabrina De Capitani di Vimercati, Roger Dingledine, editors, Proceedings of the 2005 ACM Workshop on Privacy in the Electronic Society, WPES 2005, Alexandria, VA, USA, November 7, 2005. pages 35-39, ACM, 2005. [doi]

Authors

Theodoros Balopoulos

This author has not been identified. Look up 'Theodoros Balopoulos' in Google

Stefanos Gritzalis

This author has not been identified. Look up 'Stefanos Gritzalis' in Google

Sokratis K. Katsikas

This author has not been identified. Look up 'Sokratis K. Katsikas' in Google