<div dir="ltr"><br><div class="gmail_quote">---------- Forwarded message ----------<br>From: <b class="gmail_sendername">Joseph Kiniry</b> <span dir="ltr"><<a href="mailto:kiniry@galois.com">kiniry@galois.com</a>></span><br>Date: Thu, Jul 28, 2016 at 3:21 PM<br>Subject: Re: [VVSG-election] [VVSG-pre-election] [VVSG-interoperability] Separating Issues and Avoiding Ghost Stories - RE: By November, Russian hackers could target voting machines<br>To: Susan Eustis <<a href="mailto:susan@wintergreenresearch.com">susan@wintergreenresearch.com</a>><br>Cc: vvsg-pre-election <<a href="mailto:vvsg-pre-election@nist.gov">vvsg-pre-election@nist.gov</a>>, Arthur Keller <<a href="mailto:ark@soe.ucsc.edu">ark@soe.ucsc.edu</a>>, vvsg-election <<a href="mailto:vvsg-election@nist.gov">vvsg-election@nist.gov</a>>, Stephen Berger <<a href="mailto:stephen.berger@suddenlink.net">stephen.berger@suddenlink.net</a>>, vvsg-post-election <<a href="mailto:vvsg-post-election@nist.gov">vvsg-post-election@nist.gov</a>>, vvsg-interoperability <<a href="mailto:vvsg-interoperability@nist.gov">vvsg-interoperability@nist.gov</a>><br><br><br>Susan et al.,<br>
<br>
> On Jul 28, 2016, at 07:12, Susan Eustis <<a href="mailto:susan@wintergreenresearch.com">susan@wintergreenresearch.com</a>> wrote:<br>
><br>
> I believe the problems are 2:<br>
> 1. How to make fraud detectable, the code base in any electronics is vulnerable where-ever it is, Code can be changed without detection and this needs to be addressed.<br>
<br>
I keep hearing this statement made in many forums and continue to bring up the fact that there is some excellent R&D going on wrt this topic which has been seeing practical application in the DOD space for a few years.<br>
<br>
It is now the case that you can prove that the application (and operating system &c) you have is exactly what you think it is an moreover that a running system is executing exactly that software.<br>
<br>
This is hard.  Few people know how to do it.  No existing/traditional elections vendor does it or knows how to do it.  But it is a solved problem now.<br>
<br>
I’m happy to go into deep technical detail with anyone who is interested and point to the relevant peer-reviewed work, but this is not the forum for such.<br>
<br>
Joe<br>
</div><br></div>