Aakash Tyagi

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 8

Top Topics

Reference Models

Machine Learning

Security Vulnerabilities

Functional Verification

Top Venues

USENIX Security Symposium

Publications

Chen Chen, Rahul Kande, Nathan Nyugen, Flemming Andersen, Aakash Tyagi, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
HyPFuzz: Formal-Assisted Processor Fuzzing. CoRR (2023)
Prianka Sengupta, Aakash Tyagi, Yiran Chen, Jiang Hu
Early Identification of Timing Critical RTL Components using ML based Path Delay Prediction. MLCAD (2023)
Chen Chen, Rahul Kande, Nathan Nguyen, Flemming Andersen, Aakash Tyagi, Ahmad-Reza Sadeghi, Jeyavijayan Rajendran
HyPFuzz: Formal-Assisted Processor Fuzzing. USENIX Security Symposium (2023)
Saumil Gogri, Aakash Tyagi, Michael Quinn, Jiang Hu
Transaction Level Stimulus Optimization in Functional Verification Using Machine Learning Predictors. ISQED (2022)
Prianka Sengupta, Aakash Tyagi, Yiran Chen, Jiang Hu
How Good Is Your Verilog RTL Code?: A Quick Answer from Machine Learning. ICCAD (2022)
Shalini Mukhopadhyay, Swarnava Dey, Avik Ghose, Aakash Tyagi
Automated Generation of Tiny Model for Real-Time ECG Classification on Tiny Edge Devices. SenSys (2022)
Aakash Tyagi, Addison Crump, Ahmad-Reza Sadeghi, Garrett Persyn, Jeyavijayan Rajendran, Patrick Jauernig, Rahul Kande
TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities. CoRR (2022)
Rahul Kande, Addison Crump, Garrett Persyn, Patrick Jauernig, Ahmad-Reza Sadeghi, Aakash Tyagi, Jeyavijayan Rajendran
TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities. USENIX Security Symposium (2022)
Aakash Tyagi, Magdy A. Bayoumi
Systolic array implementation of image segmentation by a directed split and merge procedure. ICPR (2) (1990)