Electronic%20Voting%20Technology

= Electronic Voting Technology =

This is the technical part of the DemTech Research projects.

== Members ==

• David Basin
• Joseph Kiniry
• Peter Ryan
• Carsten Schürmann

== Publications ==

• Votail A Formally Specified and Verified Ballot Counting System
• Electronic elections: Trust through engineering
• A Verification-Centric Realization of e-Voting
• Formally Counting Electronic Votes (But Still Only Trusting Paper)
• The KOA Remote Voting System: A Summary of Work To Date
• Counting Votes with Formal Methods

== Projects ==

• Research Projects#FullHomomorphicEncryption
• Research Projects#EpistemicLogicalFramework