Associate Professor, Electrical, Computer, and Systems Engineering
My research deals with Safety and Security of Hardware. This involves computing systems, communication systems, power systems hardware as well as modern architectures like AI and Quantum hardware.
1) Samit Miftah, Amisha Srivastava, Hyunmin Kim and Kanad Basu. SymbFuzz: Symbolic Execution Guided Hardware Fuzzing. At IEEE/ACM International Conference on Microarchitecture (MICRO), 2025.
2) Xingyu Meng, Amisha Srivastava, Ayush Arunachalam, Avik Ray, Pedro Henrique Silva, Rafail Psiakis, Yiorgos Makris, Kanad Basu. NSPG: Natural language Processing-based Security Property Generator for Hardware Security Assurance, AT ACM/IEEE Design Automation Conference (DAC), 2024.
3) Shamik Kundu, Sanjay Das, Arnab Raha, Souvikk Kundu, Sayar Karmakar, Yiorgos Makris, Kanad Basu. Bit-by-Bit: Investigating the Vulnerabilities of Binary Neural Networks to Adversarial Bit Flipping, Transactions on Machine Learning Research (TMLR), 2024.
4) Shamik Kundu, Mirazul Haque, Sanjay Das, Wei Yang, Kanad Basu. MENDNet: Just-in-time Fault Detection and Mitigation in AI Systems with Uncertainty Quantification and Multi-Exit Networks, At ACM/IEEE Design Automation Conference (DAC), 2024.
5) Navnil Choudhury, Ameya Shirish Bhave, Kanad Basu. ZXNet: ZX Calculus-Driven Graph Neural Network Framework for Quantum Circuit Equivalence Checking, At ACM/IEEE Design Automation Conference (DAC), 2025