Before coming to UCI I studied Computer Engineering at the Federal University of Espirito Santo (UFES), in Brazil from 2009 to 2014. I also earned an M.Sc. degree in Computer Science from the Federal University of Minas Gerais (UFMG) – Brazil in 2016. While at UFMG, my master’s advisors were Profs. Antonio Loureiro and Pedro Vaz de Melo.
- [2019-06-22] Joined Visa Research as a (remote) Research Intern for Summer’20!
- [2020-02-20] Our paper “APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise” has been accepted for publication at USENIX Security’20.
- [2019-11-05] I’ve attended IEEE/ACM ICCAD’19 and presented our paper “PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in Low-End Embedded Systems”.
- See all news
My research interests span the fields of Security/Privacy, Computer Networking, Embedded Systems, Applied Cryptography, and especially the intersection of these. In the recent years I have worked on IoT Security, Content-Centric Networking Security, Secure Multi-Party Computation (MPC) with applications to Blockchain technologies, Biometric-Based Authentication and Identification, and Opportunistic Mobile Networking.
My Ph.D. dissertation is mostly focused on systematic hardware/software co-design of trustworthy and formally verified security services for resource-constrained IoT devices. Examples of such services are Remote Attestation, Secure Software Update, and Provable Code Execution. These services are designed to remain effective even under the assumption of full compromise of the IoT device’s software state.
Here is a paper that introduces my Ph.D. research.
- Research: check profiles at Google scholar; ResearchGate; or DBLP.
- Internships: Visa Research (Summer’20, and Summer’19); SRI International (Summer’17, Spring’18, and Summer’18).
- Reviewer for: ACM TODAES’20; Springer Computing’20; IEEE Wireless Communications’16; Elsevier Ad-Hoc Networks’17; IEEE ICC’17.
- External Reviewer for: USENIX Sec’20; NDSS’20; ACM CCS’20; WiSec’19; ACM CCS’18; ACM ASIACCS’16; NDSS-DISS’18; IEEE CNS’18.
- Teaching Assistant: Computer & Network Security (grad version)@UCI-2019; Computer & Network Security (undergrad version)@UCI-2018; Computer Networks @UFMG- 2015