| Document Date: 2013-06-05 15:32:08
Open Document File Size: 214,96 KBShare Result on Facebook
City Baltimore / / Company Validating Voting Machine Software / Report Checksum Stop Timer Hash Voting Software / AEGIS / Genuity / AMD / Diebold / Intel / Microsoft / / Country United States / / / Event Company Expansion / / Facility Hopkins University / National Software Reference Library / / IndustryTerm hard ware solutions / software integrity / attestation solutions / electronic voting systems / software attestation techniques / technology advances / Potential solutions / individual virtual systems / removable media / secure hardware / software-based systems / modified software / reasonable solution / legitimate software / software-based attestation / software security properties / human verifiable voting machine software attestation / software attestation / software stack / binary search technique / evidence that technological advances in processor / software images / memory reading hardware / challenge-response based tool / binary search fashion / machine software / software matches / secure software / legacy hardware / / OperatingSystem Linux / Windows CE / Windows XP / Microsoft Windows / / Organization National Science Foundation / Hopkins University / / Person Sujata Garera / Ryan Gardner / / Position human poll worker / Architecture Software Developer / administrator / poll worker / Private / The poll worker / / Product Pioneer.8 4.4.1 0x108000 Attack Overview Our / Pioneer / Intel Core 2 Duo processor / Intel Core 2 / / ProvinceOrState Maryland / / Technology virtual machine / Linux / private key / operating system / ASCII / 2 Duo processor / flash / /
SocialTag |
On the Difficulty of Validating Voting Machine Software with Software∗ Ryan Gardner† Sujata Garera†