Samit Shahnawaz Miftah

According to our database, Samit Shahnawaz Miftah authored at least 5 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

PoSyn: Secure Power Side-Channel Aware Synthesis.

Amisha Srivastava, Samit Shahnawaz Miftah, Hyunmin Kim, Debjit Pal, Kanad Basu

CoRR, June, 2025

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

Proceedings of the 43rd IEEE VLSI Test Symposium, 2025

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., September, 2024

RTL-Spec: RTL Spectrum Analysis for Security Bug Localization.

Samit Shahnawaz Miftah, Shamik Kundu, Austin Mordahl, Shiyi Wei, Kanad Basu

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2024

Assert-O: Context-based Assertion Optimization using LLMs.

Samit Shahnawaz Miftah, Amisha Srivastava, Hyunmin Kim, Kanad Basu

Proceedings of the Great Lakes Symposium on VLSI 2024, 2024