Back to Results
First PageMeta Content



Physical Verifiability of Computer Systems Rebecca T. Mercuri Computer Scientist, Notable Software P.O. Box 1166, Philadelphia, PAPublication Note This paper was originally published in the proceedings of the Fift
Add to Reading List

Document Date: 2010-08-30 15:18:41


Open Document

File Size: 97,48 KB

Share Result on Facebook

City

New York / Philadelphia / Washington / D.C. / New York City / /

Company

The New York Times / Random House Inc. / Los Angeles Times / Direct Recording Electronic Voting Systems / DREs / John Wiley & Sons / /

Country

Switzerland / United States / /

Event

Reorganization / /

Facility

Urban Policy Research Institute / /

IndustryTerm

integrated circuit chips / electronic voting systems / elaborate computer systems / configuration management / functional testing inadequate in revealing equipment / software errors / mechanical devices / election equipment / transportation costs / electronic systems / marksense systems / printing / architecture computational device / computer applications / bank / manual auditing / verified technologies / manufacturing process test policies / banking / software quality assurance standards / access applications / printer technology make / mechanical hardware / electronic balloting equipment / /

Organization

Election Administration / COS / U.S. Department of Commerce / Urban Policy Research Institute / ACMSIGSAC / Federal Election Commission / National Bureau of Standards / DPMA Financial Industries Chapter / CMA / IEEE Computer Society / National Bureau / /

Person

Rebecca T. Mercuri / Penelope Bonsall / Roy Saltman / Ken Thompson / /

PoliticalEvent

Federal elections / Presidential election / /

Position

Automated Teller / Computer Scientist / director of the National Clearinghouse / SVP / player / Dean / arbiter / author / House Speaker / /

ProvinceOrState

New York / Pennsylvania / /

PublishedMedium

The New Yorker / The New York Times / Los Angeles Times / Communications of the ACM / /

Technology

ATM / Computer Algorithms / integrated circuit chips / physically verified technologies / /

SocialTag