| Autor(es): |
Gallo, Roberto
;
Kawakami, Henrique
;
Dahab, Ricardo
;
Azevedo, Rafael
;
Lima, Saulo
;
Araujo, Guido
;
ACM
Número total de Autores: 7
|
| Tipo de documento: | Artigo Científico |
| Fonte: | 26TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2010); v. N/A, p. 8-pg., 2010-01-01. |
| Resumo | |
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) | |
| Processo FAPESP: | 10/14492-4 - Autenticação de Circuitos Integrados Usando PUFs |
| Beneficiário: | Marcelo Fontes Santana |
| Modalidade de apoio: | Bolsas no Brasil - Mestrado |
| Processo FAPESP: | 07/56052-8 - Teoria da informação e códigos |
| Beneficiário: | Sueli Irene Rodrigues Costa |
| Modalidade de apoio: | Auxílio à Pesquisa - Temático |