Henrique Kawakami

On Device Identity Establishment and Verification

Henrique Kawakami, Roberto Gallo, Ricardo Dahab, 2009, EuroPKI.

FORTUNA - A framework for the design and development of hardware-based secure systems

Henrique Kawakami, Roberto Gallo, Ricardo Dahab, 2013, J. Syst. Softw..

T-DRE: a hardware trusted computing base for direct recording electronic vote machines

Henrique Kawakami, Roberto Gallo, Ricardo Dahab, 2010, ACSAC '10.

FORTUNA - A probabilistic framework for early design stages of hardware-based secure systems

Henrique Kawakami, Roberto Gallo, Ricardo Dahab, 2011, 2011 5th International Conference on Network and System Security.

A Mathematical Modeling of Exploitations and Mitigation Techniques Using Set Theory

Henrique Kawakami, Ke Sun, Kekai Hu, 2018, 2018 IEEE Security and Privacy Workshops (SPW).

Case Study: On the Security of Key Storage on PCs

Henrique Kawakami, Roberto Gallo, Ricardo Dahab, 2013, 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications.

Security and system architecture: comparison of Android customizations

Henrique Kawakami, Roberto Gallo, Ricardo Dahab, 2015, WISEC.

ACBuilder: A tool for hardware architecture security evaluation

Henrique Kawakami, Roberto Gallo, Ricardo Dahab, 2016, 2016 IEEE International Symposium on Hardware Oriented Security and Trust (HOST).