DARPA Creates Secure Voting Project

DARPA has funded Galois with $10 million to develop a secure voting platform based on secure systems research. These machines are two parts, an touchscreen part that prints paper receipts and an optically scan device. The votes have cryptographic signatures so that anyone can tally and verify the vote. People can check that their vote was counted and outside parties can review and tally the vote too. This optical portion is to be taken to Def-Con to be hacker tested and Galois will work with universities on the evaluation. Code will be opened sourced.

Can't find an government website with the information, so we have news reporting.

https://motherboard.vice.com/en_us/article/yw84q7/darpa-is-building-a-dollar10-million-open-source-secure-voting-system