Md Shafiuzzaman
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1Software Eng.×1
Frequent co-authors
Research Timeline
2026
Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
SAILOR automates the construction of symbolic execution harnesses by combining static analysis and LLM-based synthesis, significantly improving the scalability and effectiveness of vulnerability discovery in large codebases.
Highlighted terms show continued research focus across papers