Amisha Srivastava

According to our database, Amisha Srivastava authored at least 7 papers between 2023 and 2024.

Collaborative distances:

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

2024

SCAR: Power Side-Channel Analysis at RTL Level.

Amisha Srivastava, Sanjay Das, Navnil Choudhury, Rafail Psiakis, Pedro Henrique Silva, Debjit Pal, Kanad Basu

IEEE Trans. Very Large Scale Integr. Syst., June, 2024

Hardware-based Detection of Malicious Firmware Modification in Microgrids.

Amisha Srivastava, Sneha Thakur, Abraham Peedikayil Kuruvila, Poras T. Balsara, Kanad Basu

Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 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

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

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

Unlocking Hardware Security Assurance: The Potential of LLMs.

Xingyu Meng, Amisha Srivastava, Ayush Arunachalam, Avik Ray, Pedro Henrique Silva, Rafail Psiakis, Yiorgos Makris, Kanad Basu

CoRR, 2023

Application Profiling Using Register-Instruction Hardware Performance Counters.

Anand Menon, Amisha Srivastava, Shamik Kundu, Kanad Basu

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2023

Search Space Reduction for Efficient Quantum Compilation.

Amisha Srivastava, Chao Lu, Navnil Choudhury, Ayush Arunachalam, Kanad Basu

Proceedings of the Great Lakes Symposium on VLSI 2023, 2023