- [2021-08-11] Started as an Assistant Professor at RIT!
- [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!
- [2021-04-30] I will be serving on NDSS 2022 Program Committee!
- [2021-03-22] Our paper “On the TOCTOU Problem in Remote Attestation” has been accepted for publication at ACM CCS’21!
- [2021-02-12] Our paper “DIALED: Data Integrity Attestation for Low-end Embedded Devices” has been accepted for publication at ACM/IEEE DAC’21!
- [2021-02-03] I gave a talk at RIT about our work on “Building Sensors that Cannot Lie: Verifiable Integrity in Resource-Constrained Embedded Systems”.
- [2021-01-29] I gave a talk at Virginia Tech about our work on “Building Sensors that Cannot Lie: Verifiable Integrity in Resource-Constrained Embedded Systems”.
- [2021-01-19] Our paper “On the Root of Trust Identification Problem” has been accepted for publication at ACM/IEEE IPSN’21!
- [2021-01-12] I gave a talk at George Mason University about our work on “Building Sensors that Cannot Lie: Verifiable Integrity in Resource-Constrained Embedded Systems”.
- [2020-12-02] I gave a talk titled “Verified Code and Execution Integrity in Resource-Constrained Embedded Systems” at Texas Instruments. Thanks Manoja Vinnakota and Ariton Xhafa for the invitation.
- [2020-11-16] I gave a talk about our work on “Building Sensors that Cannot Lie: Verifiable Integrity in Resource-Constrained Embedded Systems” at University of Texas, Arlington.
- [2020-11-13] Our paper “Tiny-CFA: A Minimalistic Approach for Control Flow Attestation Using Verified Proofs of Execution” has been accepted for publication at DATE’21.
- [2020-08-14] I’ve attended USENIX Security’20 and presented our paper “APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise”.
- [2020-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”.
- [2019-10-10] Our paper VRASED has been selected as a finalist at “CSAW Best System Security Paper Award 2018-2019 (North America)“!
- [2019-09-15] Back to UCI after a great summer internship at Visa Research.
- [2019-09-06] I gave a talk about our work on verification of remote attestation architectures and related security services at Netflix Inc. Thanks Negin Salajegheh for the invitation!
- [2019-08-16] I’ve attended USENIX Security’19 and presented our paper “VRASED: A Verified Hardware/Software Co-Design for Remote Attestation”.
- [2019-06-24] Joined Visa Research as a Research Intern for Summer’19!
- [2019-06-04] Our paper “PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in Low-End Embedded Systems” has been accepted for publication at ACM/IEEE ICCAD’19.