Linear%20Logical%20Voting%20Protocols

= Linear Logical Voting Protocols =

'''Research Area''': Uncategorized br '''Year''': 2011br '''Type of Publication''': In Proceedings br '''Keywords''': linear logic stvbr '''Authors''': Henry deYoung, Carsten Schürmann

== !BibTex == {{{#!html

<textarea style="width: 400px; height: 250px;"> @conference{Deyoung11, author = "Henry deYoung and Sch{\"u}rmann, Carsten", abstract = "We promote linear logic as a declarative programming language for specifying and implementing voting protocols. We demonstrate this with two voting protocols: single-winner first-past-the-post (SW-FPTP) and proportional representation through the single transferable vote (STV).", address = "Tallinn, Estonia", booktitle = "Proceedings of the 3rd international conference on e-voting and identity ", keywords = "linear logic stv", title = "{L}inear {L}ogical {V}oting {P}rotocols", year = "2011", } </textarea>

}}}

== Abstract == We promote linear logic as a declarative programming language for specifying and implementing voting protocols. We demonstrate this with two voting protocols: single-winner first-past-the-post (SW-FPTP) and proportional representation through the single transferable vote (STV).