Amisha Srivastava
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2024–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MICRO | SymbFuzz: Symbolic Execution Guided Hardware Fuzzing. | Samit Shahnawaz Miftah, Amisha Srivastava, Hyunmin Kim, Shiyi Wei, Kanad Basu |
| 2025 | VTS | 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 |
| 2024 | DAC | NSPG: Natural language Processing-based Security Property Generator for Hardware Security Assurance. | Xingyu Meng, Amisha Srivastava, Ayush Arunachalam, Avik Ray, Pedro Henrique Silva, Rafail Psiakis, Yiorgos Makris, Kanad Basu |
| 2024 | VLSID | Hardware-based Detection of Malicious Firmware Modification in Microgrids. | Amisha Srivastava, Sneha Thakur, Abraham Peedikayil Kuruvila, Poras T. Balsara, Kanad Basu |