16 citations · 16 across the 5 of their papers we have counts for
5 papers
CryptRISC: A Secure RISC-V Processor for High-Performance Cryptography with Power Side-Channel Protection
Amisha Srivastava, Muskan Porwal, Kanad Basu
Cryptographic computations are fundamental to modern computing, ensuring data confidentiality and integrity. However, these operations are highly vulnerable to power side-channel a…
PoSyn: Secure Power Side-Channel Aware Synthesis
Amisha Srivastava, Samit S. Miftah, Hyunmin Kim +2
Power Side-Channel (PSC) attacks exploit power consumption patterns to extract sensitive information, posing risks to cryptographic operations crucial for secure systems. Tradition…
Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset
Anand Menon, Samit S Miftah, Shamik Kundu +7
Hardware verification is crucial in modern SoC design, consuming around 70% of development time. SystemVerilog assertions ensure correct functionality. However, existing industrial…
SCAR: Power Side-Channel Analysis at RTL-Level
Amisha Srivastava, Sanjay Das, Navnil Choudhury +4
Power side-channel attacks exploit the dynamic power consumption of cryptographic operations to leak sensitive information of encryption hardware. Therefore, it is necessary to con…
Unlocking Hardware Security Assurance: The Potential of LLMs
Xingyu Meng, Amisha Srivastava, Ayush Arunachalam +5
System-on-Chips (SoCs) form the crux of modern computing systems. SoCs enable high-level integration through the utilization of multiple Intellectual Property (IP) cores. However,…