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]
Abstract is missing.