Henrique Kawakami

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 5

Top Topics

Hardware Architecture

Information Security

Web Based Educational Systems

Top Venues

Publications

Nikhil Chawla, Chen Liu, Abhishek Chakraborty, Igor Chervatyuk, Ke Sun, Thais Moreira Hamasaki, Henrique Kawakami
The Power of Telemetry: Uncovering Software-Based Side-Channel Attacks on Apple M1/M2 Systems. CoRR (2023)
Alyssa Milburn, Ke Sun, Henrique Kawakami
You Cannot Always Win the Race: Analyzing mitigations for branch target prediction attacks. EuroS&P (2023)
Alyssa Milburn, Ke Sun, Henrique Kawakami
You Cannot Always Win the Race: Analyzing the LFENCE/JMP Mitigation for Branch Target Injection. CoRR (2022)
Rodrigo Branco, Kekai Hu, Henrique Kawakami, Ke Sun
A Mathematical Modeling of Exploitations and Mitigation Techniques Using Set Theory. IEEE Symposium on Security and Privacy Workshops (2018)
Henrique Kawakami, David Ott, Hao Chi Wong, Ricardo Dahab, Roberto Gallo
ACBuilder: A tool for hardware architecture security evaluation. HOST (2016)
Henrique Kawakami, Roberto Gallo, Ricardo Dahab, Erick Nascimento
Hardware Security Evaluation Using Assurance Case Models. ARES (2015)
Roberto Gallo, Patricia Hongo, Ricardo Dahab, Luiz C. Navarro, Henrique Kawakami, Kaio Galvão, Glauco Barroso Junquera, Luander Ribeiro
Security and system architecture: comparison of Android customizations. WISEC (2015)
Roberto Gallo, Henrique Kawakami, Ricardo Dahab
Case Study: On the Security of Key Storage on PCs. TrustCom/ISPA/IUCC (2013)
Roberto Gallo, Henrique Kawakami, Ricardo Dahab
FORTUNA - A framework for the design and development of hardware-based secure systems. J. Syst. Softw. 86 (8) (2013)
Roberto Gallo, Henrique Kawakami, Ricardo Dahab
FORTUNA - A probabilistic framework for early design stages of hardware-based secure systems. NSS (2011)
Roberto Gallo, Henrique Kawakami, Ricardo Dahab, Rafael Azevedo, Saulo Lima, Guido Araujo
T-DRE: a hardware trusted computing base for direct recording electronic vote machines. ACSAC (2010)
Roberto Gallo, Henrique Kawakami, Ricardo Dahab
On Device Identity Establishment and Verification. EuroPKI (2009)