2 citations · 3 across the 4 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
DeepDiff: Neuro-Dynamic Regression-Freedom Checking for Security Patch Validation
Laboni Sarker, Shuvendu K Lahiri
Automatically validating AI-generated security patches remains a significant challenge. Eliminating a reported crash and passing existing test suites do not provide sufficient conf…
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…