Rust for Embedded Systems: Current State, Challenges and Open Problems. - Ayushi Sharma 001; Shashank Sharma 003; Santiago Torres-Arias; Aravind Machiry (CoRR, 2023)

Rust for Embedded Systems: Current State and Open Problems. - Ayushi Sharma 001; Shashank Sharma 003; Sai Ritvik Tanksalkar; Santiago Torres-Arias; Aravind Machiry (CCS, 2024)

Aunor: Converting Rust crates to [no_std] at scale. - Shashank Sharma 003; Ayushi Sharma 001; Aravind Machiry (CODASPY, 2024)

VeriBin: Adaptive Verification of Patches at the Binary Level. - Hongwei Wu; Jianliang Wu 002; Ruoyu Wu; Ayushi Sharma 001; Aravind Machiry; Antonio Bianchi (NDSS, 2025)

Landseer: Exploring the Machine Learning Defense Landscape. - Ayushi Sharma 001; Rosemary Agbozo; Santiago Torres-Arias; Zahra Ghodsi (CoRR, 2026)