Just came across this news snippet:
'For years security professionals and election integrity activists
have been pushing voting machine vendors to build more secure and
verifiable election systems, so voters and candidates can be assured
election outcomes haven't been manipulated. Now they might finally get
this thanks to a new $10 million contract the Defense Department's
Defense Advanced Research Projects Agency (DARPA) has launched to
design and build a secure voting system that it hopes will be
impervious to hacking.
The first-of-its-kind system will be designed by an Oregon-based firm
called Galois, a longtime government contractor with experience in
designing secure and verifiable systems. The system will use fully
open source voting software, instead of the closed, proprietary
software currently used in the vast majority of voting machines, which
no one outside of voting machine testing labs can examine. More
importantly, it will be built on secure open source hardware, made
from special secure designs and techniques developed over the last
year as part of a special program at DARPA. The voting system will
also be designed to create fully verifiable and transparent results so
that voters don't have to blindly trust that the machines and election
officials delivered correct results.'
'For years security professionals and election integrity activists
have been pushing voting machine vendors to build more secure and
verifiable election systems, so voters and candidates can be assured
election outcomes haven't been manipulated. Now they might finally get
this thanks to a new $10 million contract the Defense Department's
Defense Advanced Research Projects Agency (DARPA) has launched to
design and build a secure voting system that it hopes will be
impervious to hacking.
The first-of-its-kind system will be designed by an Oregon-based firm
called Galois, a longtime government contractor with experience in
designing secure and verifiable systems. The system will use fully
open source voting software, instead of the closed, proprietary
software currently used in the vast majority of voting machines, which
no one outside of voting machine testing labs can examine. More
importantly, it will be built on secure open source hardware, made
from special secure designs and techniques developed over the last
year as part of a special program at DARPA. The voting system will
also be designed to create fully verifiable and transparent results so
that voters don't have to blindly trust that the machines and election
officials delivered correct results.'