Published several papers such as 'FOX: Coverage-guided Fuzzing as Online Stochastic Control', 'Crystallizer: A Hybrid Path Analysis Framework to Aid in Uncovering Deserialization Vulnerabilities', etc.
Research Experience
Working as an applied scientist at AWS Provable Security; previously, a postdoc at Columbia University working on enhancing general-purpose fuzzing and exploring the robustness of code generation models; interned at Grammatech in summer 2018 with Dr. Vineeth Kashyap on program analysis.
Education
PhD from Purdue University, advised by Prof. Mathias Payer (EPFL) and Prof. Antonio Bianchi (Purdue); Postdoc at Columbia University with Prof. Suman Jana.
Background
Applied Scientist with a primary research area of interest in software testing. PhD thesis focused on enhancing the bug discovery capabilities of fuzzers by meaningfully reducing the input space through domain knowledge.
Miscellany
Contact: prashast.srivastava@gmail.com; Address: 500 W 120th St, New York, NY 10027