Prashast Srivastava

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 6

Top Topics

Stochastic Control

Top Venues

IEEE Symposium on Security and Privacy

Publications

Dongdong She, Adam Storek, Yuchong Xie, Seoyoung Kweon, Prashast Srivastava, Suman Jana
FOX: Coverage-guided Fuzzing as Online Stochastic Control. CoRR (2024)
Prashast Srivastava, Flavio Toffalini, Kostyantyn Vorobyov, François Gauthier, Antonio Bianchi, Mathias Payer
Crystallizer: A Hybrid Path Analysis Framework to Aid in Uncovering Deserialization Vulnerabilities. ESEC/SIGSOFT FSE (2023)
Prashast Srivastava, Stefan Nagy, Matthew Hicks, Antonio Bianchi, Mathias Payer
One Fuzz Doesn't Fit All: Optimizing Directed Fuzzing via Target-tailored Program State Restriction. ACSAC (2022)
Prashast Srivastava, Mathias Payer
Gramatron: effective grammar-aware fuzzing. ISSTA (2021)
Prashast Srivastava, Hui Peng, Jiahao Li, Hamed Okhravi, Howard E. Shrobe, Mathias Payer
FirmFuzz: Automated IoT Firmware Introspection and Analysis. IoT S&P@CCS (2019)
Abraham A. Clements, Naif Saleh Almakhdhub, Khaled S. Saab, Prashast Srivastava, Jinkyu Koo, Saurabh Bagchi, Mathias Payer
Protecting Bare-Metal Embedded Systems with Privilege Overlays. IEEE Symposium on Security and Privacy (2017)