2 papers
cs.CR2025
Quantum-Resistant Cryptographic Models for Next-Gen Cybersecurity
Navin Chhibber, Amber Rastogi, Ankur Mahida +2
Another threat is the development of large quantum computers, which have a high likelihood of breaking the high popular security protocols because it can use both Shor and Grover a…
cs.SE2024
ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation
Bhabesh Mali, Karthik Maddala, Vatsal Gupta +3
System Verilog Assertion (SVA) formulation -- a critical yet complex task is a prerequisite in the Assertion Based Verification (ABV) process. Traditionally, SVA formulation involv…