Texas A&M Hackin' Aggies' Security Verification Strategies for the 2019 Hack@DAC Competition. - Saumil Gogri; Priya Joshi; Prashant Vurikiti; Nicole Fern; Michael Quinn; Jonathan Valamehr (IEEE Des. Test, 2021)

Transaction Level Stimulus Optimization in Functional Verification Using Machine Learning Predictors. - Saumil Gogri; Aakash Tyagi; Michael Quinn; Jiang Hu (ISQED, 2022)