| Author(s): |
Gallo, Roberto
;
Kawakami, Henrique
;
Dahab, Ricardo
;
Azevedo, Rafael
;
Lima, Saulo
;
Araujo, Guido
;
ACM
Total Authors: 7
|
| Document type: | Journal article |
| Source: | 26TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2010); v. N/A, p. 8-pg., 2010-01-01. |
| Abstract | |
We present a hardware trusted computing base (TCB) aimed at Direct Recording Voting Machines (T-DRE), with novel design features concerning vote privacy, device veri fi ability, signed-code execution and device resilience. Our proposal is largely compliant with the VVSG (Voluntary Voting System Guidelines), while also strengthening some of its reccomendations. To the best of our knowledge, T-DRE is the fi rst architecture to employ multi-level, certi fi cation-based, hardware-enforced privileges to the running software. TDRE also makes a solid case for the feasibility of strong security systems: it is the basis of 165,000 voting machines, set to be used in a large upcoming national election. In short, our contribution is a viable computational trusted base for both modern and classical voting protocols. (AU) | |
| FAPESP's process: | 10/14492-4 - Authentication of Integrated Circuits Using PUFs |
| Grantee: | Marcelo Fontes Santana |
| Support Opportunities: | Scholarships in Brazil - Master |