{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T01:58:17Z","timestamp":1778032697931,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,12,6]],"date-time":"2010-12-06T00:00:00Z","timestamp":1291593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,12,6]]},"DOI":"10.1145\/1920261.1920291","type":"proceedings-article","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T16:13:47Z","timestamp":1292861627000},"page":"191-198","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["T-DRE"],"prefix":"10.1145","author":[{"given":"Roberto","family":"Gallo","sequence":"first","affiliation":[{"name":"University of Campinas, Campinas, SP, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrique","family":"Kawakami","sequence":"additional","affiliation":[{"name":"Engineering Ltd., Campinas, SP, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo","family":"Dahab","sequence":"additional","affiliation":[{"name":"University of Campinas, Campinas, SP, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael","family":"Azevedo","sequence":"additional","affiliation":[{"name":"Tribunal Superior Eleitoral, Brasilia, DF, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saulo","family":"Lima","sequence":"additional","affiliation":[{"name":"Tribunal Superior Eleitoral, Brasilia, DF, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Araujo","sequence":"additional","affiliation":[{"name":"University of Campinas, Campinas, SP, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,12,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2005.862423"},{"key":"e_1_3_2_1_2_1","volume-title":"April","author":"Electoral Brazilian Superior","year":"2010","unstructured":"Brazilian Superior Electoral Court (TSE). Election statistics , April 2010 . Brazilian Superior Electoral Court (TSE). Election statistics, April 2010."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSECP.2004.1264852"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251054.1251077"},{"key":"e_1_3_2_1_5_1","volume-title":"Civitas: A secure voting system","author":"Clarkson M.","year":"2007","unstructured":"M. Clarkson , S. Chong , and A. Myers . Civitas: A secure voting system . 2007 . M. Clarkson, S. Chong, and A. Myers. Civitas: A secure voting system. 2007."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85893-5_10"},{"key":"e_1_3_2_1_7_1","unstructured":"C. G. Diego Aranha. Relic is an efficient library for cryptography. http:\/\/code.google.com\/p\/relic-toolkit\/ April 2010.  C. G. Diego Aranha. Relic is an efficient library for cryptography. http:\/\/code.google.com\/p\/relic-toolkit\/ April 2010."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1927830.1927843"},{"key":"e_1_3_2_1_9_1","volume-title":"Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security against Hardware Tampering","author":"Gennaro R.","year":"2004","unstructured":"R. Gennaro , A. Lysyanskaya , T. Malkin , S. Micali , and T. Rabin . Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security against Hardware Tampering , 2004 . R. Gennaro, A. Lysyanskaya, T. Malkin, S. Micali, and T. Rabin. Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security against Hardware Tampering, 2004."},{"key":"e_1_3_2_1_10_1","first-page":"355","volume-title":"Cryptographic Hardware and Embedded Systems-CHES 2002","author":"Huang A.","year":"2002","unstructured":"A. Huang . Keeping Secrets in Hardware : The Microsoft XBox TM Case Study . Cryptographic Hardware and Embedded Systems-CHES 2002 , pages 355 -- 430 , 2002 . A. Huang. Keeping Secrets in Hardware: The Microsoft XBox TM Case Study. Cryptographic Hardware and Embedded Systems-CHES 2002, pages 355--430, 2002."},{"key":"e_1_3_2_1_11_1","volume-title":"ISO\/IEC","author":"International Organization for Standardization (ISO). ISO\/IEC 11889:2009","year":"2009","unstructured":"International Organization for Standardization (ISO). ISO\/IEC 11889:2009 Information technology -- Trusted Platform Module . ISO\/IEC , 2009 . International Organization for Standardization (ISO). ISO\/IEC 11889:2009 Information technology -- Trusted Platform Module. ISO\/IEC, 2009."},{"key":"e_1_3_2_1_12_1","first-page":"365","volume-title":"Basics of Side-Channel Analysis","author":"Joye M.","year":"2009","unstructured":"M. Joye . Basics of Side-Channel Analysis , pages 365 -- 380 . Cryptographic Engineering. Springer , 1 edition, 2009 . M. Joye. Basics of Side-Channel Analysis, pages 365--380. Cryptographic Engineering. Springer, 1 edition, 2009."},{"key":"e_1_3_2_1_13_1","volume-title":"April","author":"Maxim Integrated Products Inc.","year":"2010","unstructured":"Maxim Integrated Products Inc. Usip-pro component datasheet , April 2010 . Maxim Integrated Products Inc. Usip-pro component datasheet, April 2010."},{"key":"e_1_3_2_1_14_1","volume-title":"December","author":"M'Raihi D.","year":"2005","unstructured":"D. M'Raihi , M. Bellare , F. Hoornaert , D. Naccache , and O. Ranen . RFC 4226: HOTP: An HMAC-based one-time password algorithm , December 2005 . D. M'Raihi, M. Bellare, F. Hoornaert, D. Naccache, and O. Ranen. RFC 4226: HOTP: An HMAC-based one-time password algorithm, December 2005."},{"key":"e_1_3_2_1_15_1","volume-title":"January","author":"M'Raihi D.","year":"2009","unstructured":"D. M'Raihi , S. Machani , M. Pei , and J. Rydell . RFC draft: TOTP: Time-based one-time password algorithm , January 2009 . D. M'Raihi, S. Machani, M. Pei, and J. Rydell. RFC draft: TOTP: Time-based one-time password algorithm, January 2009."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/501983.502000"},{"key":"e_1_3_2_1_17_1","volume-title":"October","author":"Neff C. A.","year":"2004","unstructured":"C. A. Neff . Practical high certainty intent verification for encrypted votes , October 2004 . C. A. Neff. Practical high certainty intent verification for encrypted votes, October 2004."},{"key":"e_1_3_2_1_18_1","volume-title":"Federal Information Processing Standards Publication (FIPS PUB) 140--2","author":"NIST.","year":"2002","unstructured":"NIST. Security requirements for cryptographic modules , Federal Information Processing Standards Publication (FIPS PUB) 140--2 , 2002 . NIST. Security requirements for cryptographic modules, Federal Information Processing Standards Publication (FIPS PUB) 140--2, 2002."},{"key":"e_1_3_2_1_19_1","volume-title":"Stronger FPGA-based Voting Machine (Short Paper). usenix.org","author":"Oksuzoglu E.","year":"2009","unstructured":"E. Oksuzoglu and D. Wallach . VoteBox Nano: A Smaller , Stronger FPGA-based Voting Machine (Short Paper). usenix.org , 2009 . E. Oksuzoglu and D. Wallach. VoteBox Nano: A Smaller, Stronger FPGA-based Voting Machine (Short Paper). usenix.org, 2009."},{"key":"e_1_3_2_1_20_1","volume-title":"Electronic Voting Technology Workshop \/ Workshop on Trustworthy Elections","author":"Rescorla E.","year":"2009","unstructured":"E. Rescorla . Understanding the security properties of ballot-based verification techniques . In Electronic Voting Technology Workshop \/ Workshop on Trustworthy Elections , August 2009 . E. Rescorla. Understanding the security properties of ballot-based verification techniques. In Electronic Voting Technology Workshop \/ Workshop on Trustworthy Elections, August 2009."},{"key":"e_1_3_2_1_21_1","volume-title":"System","author":"Rivest R. L.","year":"2006","unstructured":"R. L. Rivest and J. P. Wack . On the notion of \"software independence\" in voting systems . System , 2006 . R. L. Rivest and J. P. Wack. On the notion of \"software independence\" in voting systems. System, 2006."},{"key":"e_1_3_2_1_22_1","first-page":"381","volume-title":"Improved Techiniques for Side-Channel Analysis","author":"Rohatgi P.","year":"2009","unstructured":"P. Rohatgi . Improved Techiniques for Side-Channel Analysis , pages 381 -- 406 . Cryptographic Engineering. Springer , 1 edition, 2009 . P. Rohatgi. Improved Techiniques for Side-Channel Analysis, pages 381--406. Cryptographic Engineering. Springer, 1 edition, 2009."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.515.0521"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.179"},{"key":"e_1_3_2_1_27_1","volume-title":"Common criteria for information technology security evaluation v3.1 revision","author":"Criteria Recognition Agreement The Common","year":"2009","unstructured":"The Common Criteria Recognition Agreement . Common criteria for information technology security evaluation v3.1 revision 3, July 2009 . The Common Criteria Recognition Agreement. Common criteria for information technology security evaluation v3.1 revision 3, July 2009."},{"key":"e_1_3_2_1_28_1","volume-title":"Recommendations to the EAC voluntary voting system, guidelines recommendations","author":"USA Election Assistance Commission","year":"2007","unstructured":"USA Election Assistance Commission . Recommendations to the EAC voluntary voting system, guidelines recommendations , 2007 . USA Election Assistance Commission. Recommendations to the EAC voluntary voting system, guidelines recommendations, 2007."}],"event":{"name":"ACSAC '10: 2010 Annual Computer Security Applications Conference","location":"Austin Texas USA","acronym":"ACSAC '10","sponsor":["ACSA Applied Computing Security Assoc"]},"container-title":["Proceedings of the 26th Annual Computer Security Applications Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1920261.1920291","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1920261.1920291","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:43Z","timestamp":1750278163000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1920261.1920291"}},"subtitle":["a hardware trusted computing base for direct recording electronic vote machines"],"short-title":[],"issued":{"date-parts":[[2010,12,6]]},"references-count":26,"alternative-id":["10.1145\/1920261.1920291","10.1145\/1920261"],"URL":"https:\/\/doi.org\/10.1145\/1920261.1920291","relation":{},"subject":[],"published":{"date-parts":[[2010,12,6]]},"assertion":[{"value":"2010-12-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}