Aug 2024
NSF CAREER Award for Securing Deeply Embedded Software.
Aug 2024
Our VERIBIN paper got accepted to NDSS 2025.
Jul 2024
Our Rust For Embedded Systems got accepted at ACM CCS 2024.
Jan 2024
Our LLMs for GitHub Workflows got accepted at ARES 2024.