Re: Vendor Applies for Open Voting Consortium Certification -- OVC Press Release

From: Joseph Lorenzo Hall <joehall_at_gmail_dot_com>
Date: Fri Dec 01 2006 - 21:10:45 CST

On 12/1/06, Richard C. Johnson <dick@iwwco.com> wrote:
> Alan,
>
> I would like to return to discussion of some issues you touched on when you
> noted the Open Voting Solutions application for OVC certification. That is
> the matter of Open Hardware Design.
>
> It seems to me that actual designs must be known for all hardware
> components, including chips used on all boards. This is simply because
> specifications, however detailed, have alternate implementations. The
> design, however, is precise and sufficient. The design can be sent to a
> contract manufacturer and be produced as a known device, and it can be
> checked against its (digital) designs.

Doug Jones and David Wagner recently enlightened me about how much of
a Hard Problem hardware verification is. We included a short
discussion of this in ACCURATE's comments to the EAC VSTCP Manual.
Doug recently showed us this level of design is approachable with his
data diode work. He designed his diode to facilitate verification...
and it blew us all away. (David Dill said Doug had "attacked the
problem with nuclear weapons") We definitely need more design like
this:

http://www.usenix.org/events/evt06/tech/full_papers/jones/jones_html/
http://www.usenix.org/events/evt06/tech/full_papers/jones/jones.pdf

-- 
Joseph Lorenzo Hall
PhD Student, UC Berkeley, School of Information
<http://josephhall.org/>
_______________________________________________
OVC-discuss mailing list
OVC-discuss@listman.sonic.net
http://lists.sonic.net/mailman/listinfo/ovc-discuss
==================================================================
= The content of this message, with the exception of any external 
= quotations under fair use, are released to the Public Domain    
==================================================================
Received on Sun Dec 31 23:17:03 2006

This archive was generated by hypermail 2.1.8 : Sun Dec 31 2006 - 23:17:16 CST