Dan Zimmerman (@dmz) spoke with us about voting, voting machines, building trust in software, and transparency.

Dan works for Galois (https://galois.com/ , @galois) and Free and Fair (https://freeandfair.us/, @free_and_fair). He worked on the US Vote Foundation’s E2E-VIV Project on the Future of Voting. The artifacts from that project are on github: github.com/GaloisInc/e2eviv.

Dan (and Galois) worked with Microsoft on ElectionGaurd, a suite of tools to help make elections end-to-end verifiable, The tools are open source: github.com/microsoft/electionguard

The Helios verifiable online election system is also open source: github.com/benadida/helios-server

We failed to talk about the DARPA SSITH and FETT programs but if you are still reading the show notes, they might be of interest. We also didn’t talk about the National Academies report on Securing the Vote.