Insights for Practicing Engineers from a Formal Verification Study of the Linux Kernel. - Suresh C. Kothari; Payas Awadhutkar; Ahmed Tamrawi (ISSRE Workshops, 2016)

Statically-Informed Dynamic Analysis Tools to Detect Algorithmic Complexity Vulnerabilities. - Benjamin Holland; Ganesh Ram Santhanam; Payas Awadhutkar; Suresh C. Kothari (SCAM, 2016)

Modeling lessons from verifying large software systems for safety and security. - Suresh C. Kothari; Payas Awadhutkar; Ahmed Tamrawi; Jon Mathews (WSC, 2017)

COMB: computing relevant program behaviors. - Benjamin Holland; Payas Awadhutkar; Suresh C. Kothari; Ahmed Tamrawi; Jon Mathews (ICSE (Companion Volume), 2018)

DynaDoc: Automated On-demand Context-Specific Documentation. - Ahmed Tamrawi; Sharwan Ram; Payas Awadhutkar; Benjamin Holland; Ganesh Ram Santhanam; Suresh C. Kothari (DySDoc@ICSME, 2018)

DISCOVER: detecting algorithmic complexity vulnerabilities. - Payas Awadhutkar; Ganesh Ram Santhanam; Benjamin Holland; Suresh C. Kothari (ESEC/SIGSOFT FSE, 2019)

Control flow equivalence method for establishing sanctity of compiling. - Payas Awadhutkar; Ahmed Tamrawi; Ryan Goluch; Suresh C. Kothari (Comput. Secur., 2022)