On Device Identity Establishment and Verification. - Roberto Gallo; Henrique Kawakami; Ricardo Dahab (EuroPKI, 2009)

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)

FORTUNA - A probabilistic framework for early design stages of hardware-based secure systems. - Roberto Gallo; Henrique Kawakami; Ricardo Dahab (NSS, 2011)

Case Study: On the Security of Key Storage on PCs. - Roberto Gallo; Henrique Kawakami; Ricardo Dahab (TrustCom/ISPA/IUCC, 2013)

FORTUNA - A framework for the design and development of hardware-based secure systems. - Roberto Gallo; Henrique Kawakami; Ricardo Dahab (J. Syst. Softw., 2013)

Hardware Security Evaluation Using Assurance Case Models. - Henrique Kawakami; Roberto Gallo; Ricardo Dahab; Erick Nascimento (ARES, 2015)

SSIV 2015 Keynote I: On the Security of Critical Cyber-Physical Systems. - Roberto Gallo (DSN Workshops, 2015)

Assurance Cases as a Didactic Tool for Information Security. - Roberto Gallo; Ricardo Dahab (World Conference on Information Security Education, 2015)

Security and system architecture: comparison of Android customizations. - Roberto Gallo; Patricia Hongo; Ricardo Dahab; Luiz C. Navarro; Henrique Kawakami; Kaio Galvão; Glauco Barroso Junquera; Luander Ribeiro (WISEC, 2015)

ACBuilder: A tool for hardware architecture security evaluation. - Henrique Kawakami; David Ott; Hao Chi Wong; Ricardo Dahab; Roberto Gallo (HOST, 2016)