FirVer: Concolic Testing for Systematic Validation of Firmware Binaries. - Tashfia Alam; Zhenkun Yang; Bo Chen; Nicholas Armour; Sandip Ray (ASP-DAC, 2022)

VirSoC: Automatic Synthesis of Virtual System-on-Chip Environments. - Tashfia Alam; Indira Bhoomareddy Ramaiah; Sandip Ray (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)