News

Oct 2026
Our AnBridge paper got accepted to DSN 2026.

Oct 2026
Our DisTrust paper got accepted to DSN-W 2026.

May 2026
Our Bootloader SoK paper got accepted to IEEE S&P 2026.

Feb 2026
Our Cosseter paper got accepted to IEEE S&P 2026.

Feb 2026
Our Unit Proof Work paper got accepted to ICSE 2026.

Oct 2025
Our TypeFlexer paper got accepted to RAID 2025.

Jun 2025
Our LEMIX paper got accepted to USENIX Security 2025.

Jun 2025
Our FlexGE paper got accepted to DIMVA 2025.

Feb 2025
Our MadCap paper got accepted to CODASPY 2025.

Jan 2025
Two papers (E3C and SAST for embedded) got accepted to ISSTA 2025.

Jan 2025
Connor and Ayushi got 2025 NDSS Student Fellowships.

Nov 2024
Our FuzzUErr paper got accepted to NDSS 2025.

Aug 2024
NSF CAREER Award for Securing Deeply Embedded Software.

Aug 2024
Our VERIBIN paper got accepted to NDSS 2025.