National Academies' Workshop, Electronic Voting

[Dave Farber <dave () farber net>]

An upcoming National Academy of Science Workshop on "Building Certifiably 
Dependable Systems" that will have a session on Electronic Voting 
Systems.  The workshop is open to all participants.

The National Academies have an ongoing study on building certifiably 
dependable systems.  It is addressing system certification and examining 
application domains (including electronic voting) and their approaches to 
software evaluation and assurance.  The National Academies are holding a 
workshop on April 19-20 at Georgetown University Center on Reservoir Road 
to survey a variety of perspectives and to promote dialogue between the 
research community and government and industry practitioners who develop 
safety-critical systems.

Session F of this workshop will be dedicated to a Case Study: Electronic 
Voting - What role does software play in voting? - What properties fo the 
software might be certified? - What would the certification process be? Who 
would be involved; What credibility would it have; who has to be trusted? - 
Is this case study typical or unique in some ways?

Point of contact for this workshop is Lynnette Millett:  lmillett () nas edu

-------------------------------------
You are subscribed as interesting-people () lists elistx com
To manage your subscription, go to
 http://v2.listbox.com/member/?listname=ip

Archives at: http://www.interesting-people.org/archives/interesting-people/