This page is no longer receiving updates. Please check my new page at: ivan.csec.rit.edu.
About Me
Assistant Professor of Computing Security at RIT!
Before: I received my Ph.D. degree from University of California Irvine (UCI) in 2021. At UCI I was advised by Prof. Gene Tsudik and a member of the Sprout Lab. 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. While at UFES, I worked with lots of folks, but most closely with Prof. Magnos Martinello and Prof. Roberta Lima Gomes.
News
- [2021-08-11] Started as an Assistant Professor at RIT!
- [2021-06-21] I have successfully defended my Ph.D. Thesis: Verifiable Integrity and Availability for Code and Execution in Simple Embedded Systems!
- [2021-05-15] I will be serving on AsiaCCS 2022 Program Committee!
- [2021-05-06] Our paper “Delegated Attestation: Scalable Remote Attestation of Commodity CPS by Blending Proofs of Execution with Software Attestation” has been accepted for publication at ACM WiSec’21!
- See previous news
Research Interests
My research interests span the fields of Security/Privacy, Computer Networking, Embedded Systems, Applied Cryptography, and especially the intersection of these. In recent years, I’ve 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.
Activities & Service
- 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).
- Conference Program Committees/Journal Reviews: NDSS’22, AsiaCCS’22, Journal of Computer Security’21; ACM TODAES’20; Springer Computing’20; IEEE Wireless Communications’16; Elsevier Ad-Hoc Networks’17.
- External Reviewer: USENIX Security’20; NDSS’20; CCS’20; WiSec’19; CCS’18; AsiaCCS’17; 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; and several others as Undergrad TA.