most citedAssessing, Exploiting, and Mitigating Syntactic Robustness Failures in LLM-Based Code Generation

2 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing cs.CRShow all

2 papers · 1 filter

cs.CR2026

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery

Md Shafiuzzaman, Achintya Desai, Wenbo Guo +1

Symbolic execution detects vulnerabilities with precision, but applying it to large codebases requires harnesses that set up symbolic state, model dependencies, and specify asserti…

cs.CR2024★ 1 cited

UEFI Vulnerability Signature Generation using Static and Symbolic Analysis

Md Shafiuzzaman, Achintya Desai, Laboni Sarker +1

Since its major release in 2006, the Unified Extensible Firmware Interface (UEFI) has become the industry standard for interfacing a computer's hardware and operating system, repla…