T-DRE: a hardware trusted computing base for direct recording electronic vote machines. - Roberto Gallo; Henrique Kawakami; Ricardo Dahab; Rafael Azevedo; Saulo Lima; Guido Araujo (ACSAC, 2010)