Assert-O: Context-based Assertion Optimization using LLMs. - Samit Shahnawaz Miftah; Amisha Srivastava; Hyunmin Kim; Kanad Basu (ACM Great Lakes Symposium on VLSI, 2024)

RTL-Spec: RTL Spectrum Analysis for Security Bug Localization. - Samit Shahnawaz Miftah; Shamik Kundu; Austin Mordahl; Shiyi Wei; Kanad Basu (HOST, 2024)

System-on-Chip Information Flow Validation Under Asynchronous Resets. - Samit Shahnawaz Miftah; Kshitij Raj; Xingyu Meng; Sandip Ray; Kanad Basu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

OpenAssert: Towards Secure Assertion Generation using Large Language Models. - Anand Menon; Samit Shahnawaz Miftah; Amisha Srivastava; Shamik Kundu; Shovik Kundu; Arnab Raha; Suvadeep Banerjee; Deepak Mathaikutty; Kanad Basu (VTS, 2025)

PoSyn: Secure Power Side-Channel Aware Synthesis. - Amisha Srivastava; Samit Shahnawaz Miftah; Hyunmin Kim; Debjit Pal; Kanad Basu (CoRR, 2025)