papers
Publications (12)
cs.CR2021
CorbFuzz: Checking Browser Security Policies with Fuzzing
Chaofan Shou, Ismet Burak Kadron, Qi Su +1
cs.CR2026
Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
Md Shafiuzzaman, Achintya Desai, Wenbo Guo +1
cs.SE2025
Fuzzing the brain: Automated stress testing for the safety of ML-driven neurostimulation
Mara Downing, Matthew Peng, Jacob Granley +2
cs.SE2024
Software Security Analysis in 2030 and Beyond: A Research Roadmap
Marcel Böhme, Eric Bodden, Tevfik Bultan +3
cs.SE2022
Rare-Seed Generation for Fuzzing
Seemanta Saha, Laboni Sarker, Md Shafiuzzaman +4
cs.SE2019
Attack Synthesis for Strings using Meta-Heuristics
Seemanta Saha, Ismet Burak Kadron, William Eiers +2
cs.SE2026
Assessing, Exploiting, and Mitigating Syntactic Robustness Failures in LLM-Based Code Generation
Laboni Sarker, Mara Downing, Achintya Desai +1
cs.SE2026
Program Analysis Guided LLM Agent for Proof-of-Concept Generation
Achintya Desai, Md Shafiuzzaman, Wenbo Guo +1
cs.PL2026
Quantitative Symbolic Patch Impact Analysis
Laboni Sarker, Abdus Satter, Tevfik Bultan
cs.CR2024
UEFI Vulnerability Signature Generation using Static and Symbolic Analysis
Md Shafiuzzaman, Achintya Desai, Laboni Sarker +1
cs.SE2019
Incremental Adaptive Attack Synthesis
Seemanta Saha, William Eiers, Ismet Burak Kadron +2
cs.SE2010
Contracting the Facebook API
Ben Rubinger, Tevfik Bultan