28 citations · 42 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.SE2025
FaultLine: Automated Proof-of-Vulnerability Generation Using LLM Agents
Vikram Nitin, Baishakhi Ray, Roshanak Zilouchian Moghaddam
Despite the critical threat posed by software security vulnerabilities, reports are often incomplete, lacking the proof-of-vulnerability (PoV) tests needed to validate fixes and pr…
cs.SE2025★ 3 cited
C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
Vikram Nitin, Rahul Krishna, Luiz Lemos do Valle +1
In recent years, there has been a lot of interest in converting C code to Rust, to benefit from the memory and thread safety guarantees of Rust. C2Rust is a rule-based system that…