Samit Shahnawaz Miftah

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

Collaborative distances:

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

2026

PoSyn: Secure Power Side-Channel Aware Synthesis.

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

IEEE Trans. Very Large Scale Integr. Syst., April, 2026

Microelectronics Systems Education - CHASE: A Cloud-Native Platform for Hardware Security.

Rahul Magesh, Amisha Srivastava, Sharath Pendyala, Samit Shahnawaz Miftah, Aydin Aysu, Kanad Basu

Proceedings of the Great Lakes Symposium on VLSI 2026, 2026

2025

Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset.

Anand Menon, Samit Shahnawaz Miftah, Shamik Kundu, Souvik Kundu, Amisha Srivastava, Arnab Raha, Gabriel Theodor Sonnenschein, Suvadeep Banerjee, Deepak Mathaikutty, Kanad Basu

CoRR, March, 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

SymbFuzz: Symbolic Execution Guided Hardware Fuzzing.

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

Proceedings of the 58th IEEE/ACM International Symposium on Microarchitecture, 2025

InterConFuzz: A Fuzzing-based Comprehensive NoC Verification Framework.

Samit Shahnawaz Miftah, Hyunmin Kim, Kanad Basu

Proceedings of the 62nd ACM/IEEE Design Automation Conference, 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