Tyagi, Aakash

1. TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities
   2022/01/01 by Aakash Tyagi, Addison Crump, Tyagi, Aakash +11 · 10 citations
   Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Physical Unclonable Functions (PUFs) and Hardware Security #Software Engineering (cs.SE)
2. HyPFuzz: Formal-Assisted Processor Fuzzing
   2023/04/05 by Chen Chen, Chen, Chen, Rahul Kande +10 · 5 citations
   Computer Science · Engineering · #Security and Verification in Computing #Radiation Effects in Electronics #Physical Unclonable Functions (PUFs) and Hardware Security
3. Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization
   2025/05/12 by Feng Wu, Evan Pan, Wu, Fenghua +13 · 5 citations
   Computer Science · #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Natural Language Processing Techniques #Speech Recognition and Synthesis #Topic Modeling