Home

About

I am an Assistant Professor at RIT where I’m affiliated with the Department of Cybersecurity (CSEC), the Global Cybersecurity Institute (GCI), and the Golisano College of Computing and Information Sciences (GCCIS). I am also a faculty member of the Computing and Information Sciences Ph.D. program.

Before RIT, I received my Ph.D. from the University of California Irvine (UCI), in 2021. At UCI I was advised by Prof. Gene Tsudik and a member of the Sprout Lab. I hold a B.S. degree in Computer Engineering from the Federal University of Espirito Santo, Brazil (UFES) and an M.Sc. degree in Computer Science from the Federal University of Minas Gerais, Brazil (UFMG).

Research Interests

I have a wide range of research interests that encompass various fields, including Security & Privacy, Computer Networking, Embedded Systems, Applied Cryptography, and particularly their intersections. Over the recent years, my research has delved into areas such as IoT/CPS Security, System Security, Software Security, Applied Cryptography, and Networked Systems.

My doctoral dissertation, completed in 2021, focused on the systematic co-design of secure and formally verified security services for resource-constrained embedded systems. These services, such as Remote Attestation, Secure Software Update, and Provable/Guaranteed Code Execution, are designed to maintain their effectiveness even in scenarios where the embedded system’s software state is fully compromised.

Here [ComMag’24] is a (relatively short) paper that provides a high-level overview of our work on remotely verifiable software integrity for embedded devices.

My Pointers

Contact