Verifiable Voting Design

Presenter(s): Jason White,Craig Burton URL: http://lca2013.linux.org.au/schedule/30130/view_talk [with Craig Burton, E-

Microsoft's Defending Democracy Program released ElectionGuard as an open-source SDK that makes

Invited tutorial at the 19th European Joint Conferences on Theory and Practice of Software (ETAPS 2016), 4 April 2016, ...

The

What Are End-to-End

Leo Laporte, Ron Rivest, and David Dill talk about a more ideal

Description: Universal

Mobile

I will present an approach for the

Investigating Usability and User Experience of Individually

Clash Attacks on the

An overview of the COASCA

How are state and local governments verifying the accuracy of the

...

[Full Presentation] Did you mix me? Formally Verifying

Hacking to Save Democracy: What Technologists Need to Know About

Technical difficulties caused a few audio problems--the feedback at the beginning clears up quickly, but the audio quality is only ...

This is a user experience demo of our open-source end-to-end

Prof. Subhashis Banerjee explains the

In elections, your