Henry DeYoung, Carsten Schürmann. Linear Logical Voting Protocols. In Aggelos Kiayias, Helger Lipmaa, editors, E-Voting and Identity - Third International Conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011, Revised Selected Papers. Volume 7187 of Lecture Notes in Computer Science, pages 53-70, Springer, 2011. [doi]
Abstract is missing.