Ka-Ping Yee:
Building Reliable Voting Machine Software
["I examine the question of how to design election-related software, with particular attention to the threat of insider attacks, and propose the goal of simplifying the software in electronic voting machines. I apply a technique called prerendering to reduce the security-critical, voting-specific software by a factor of 10 to 100 while supporting similar or better usability and accessibility, compared to today's voting machines. Smaller and simpler software generally contributes to easier verification and higher confidence.
I demonstrate and validate the prerendering approach by presenting Pvote, a vote-entry program that allows a high degree of freedom in the design of the user interface and supports synchronized audio and video, touchscreen input, and input devices for people with disabilities. Despite all its capabilities, Pvote is just 460 lines of Python code; thus, it directly addresses the conflict between flexibility and reliability that underlies much of the current controversy over electronic voting."]
In a sharp turnaround, the Republican candidates has opened a 5-point lead on his Democratic rival and is seen as a stronger manager of the economy, according to a Reuters/Zogby poll.
AFP - Georgia's South Ossetia and Abkhazia regions planned rallies Thursday to ask Russia for recognition as independent states, two weeks after Russian troops occupied both provinces.
