Amisha Srivastava

14 papers A* 2Misc 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
CryptRISC: A Secure RISC-V Processor for High-Performance Cryptography with Power Side-Channel Protection.
CoRR
Amisha Srivastava, Muskan Porwal, Kanad Basu
2025 J jnl
Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset.
CoRR
Anand Menon, Samit S. Miftah, Shamik Kundu, Souvik Kundu, Amisha Srivastava, Arnab Raha, Gabriel Theodor Sonnenschein, Suvadeep Banerjee, Deepak Mathaikutty, Kanad Basu
2025 Misc conf
OpenAssert: Towards Secure Assertion Generation using Large Language Models.
VTS
Anand Menon, Samit Shahnawaz Miftah, Amisha Srivastava, Shamik Kundu, Shovik Kundu, Arnab Raha, Suvadeep Banerjee, Deepak Mathaikutty, Kanad Basu
2025 J jnl
PoSyn: Secure Power Side-Channel Aware Synthesis.
CoRR
Amisha Srivastava, Samit Shahnawaz Miftah, Hyunmin Kim, Debjit Pal, Kanad Basu
2025 A* conf
SymbFuzz: Symbolic Execution Guided Hardware Fuzzing.
MICRO
Samit Shahnawaz Miftah, Amisha Srivastava, Hyunmin Kim, Shiyi Wei, Kanad Basu
2024 — conf
Assert-O: Context-based Assertion Optimization using LLMs.
ACM Great Lakes Symposium on VLSI
Samit Shahnawaz Miftah, Amisha Srivastava, Hyunmin Kim, Kanad Basu
2024 Misc conf
Hardware-based Detection of Malicious Firmware Modification in Microgrids.
VLSID
Amisha Srivastava, Sneha Thakur, Abraham Peedikayil Kuruvila, Poras T. Balsara, Kanad Basu
2024 A* conf
NSPG: Natural language Processing-based Security Property Generator for Hardware Security Assurance.
DAC
Xingyu Meng, Amisha Srivastava, Ayush Arunachalam, Avik Ray, Pedro Henrique Silva, Rafail Psiakis, Yiorgos Makris, Kanad Basu
2024 J jnl
SCAR: Power Side-Channel Analysis at RTL Level.
IEEE Trans. Very Large Scale Integr. Syst.
Amisha Srivastava, Sanjay Das, Navnil Choudhury, Rafail Psiakis, Pedro Henrique Silva, Debjit Pal, Kanad Basu
2024 — conf
Yoga Pose Detection with Deep Learning and Computer Vision.
ICCCNT
Amisha Srivastava, K. Gayathri, Senthil Kumar Thangavel, Pullela Meghana, S. Vishvajit, B. Senthil Kumar, K. Somasundaram
2023 — conf
Application Profiling Using Register-Instruction Hardware Performance Counters.
ISVLSI
Anand Menon, Amisha Srivastava, Shamik Kundu, Kanad Basu
2023 J jnl
SCAR: Power Side-Channel Analysis at RTL-Level.
CoRR
Amisha Srivastava, Sanjay Das, Navnil Choudhury, Rafail Psiakis, Pedro Henrique Silva, Debjit Pal, Kanad Basu
2023 — conf
Search Space Reduction for Efficient Quantum Compilation.
ACM Great Lakes Symposium on VLSI
Amisha Srivastava, Chao Lu, Navnil Choudhury, Ayush Arunachalam, Kanad Basu
2023 J jnl
Unlocking Hardware Security Assurance: The Potential of LLMs.
CoRR
Xingyu Meng, Amisha Srivastava, Ayush Arunachalam, Avik Ray, Pedro Henrique Silva, Rafail Psiakis, Yiorgos Makris, Kanad Basu