activity
20202026
most citedComparison of Static Application Security Testing Tools and Large Language Models for Repo-level Vulnerability Detection

4 citations · 11 across the 13 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

cs.SE2025

Signature in Code Backdoor Detection, how far are we?

Quoc Hung Le, Thanh Le-Cong, Bach Le +1

As Large Language Models (LLMs) become increasingly integrated into software development workflows, they also become prime targets for adversarial attacks. Among these, backdoor at…

cs.PL2025

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference

Thanh Le-Cong, Bach Le, Toby Murray

Large Language Models (LLMs) are increasingly being used to automate programming tasks. Yet, LLMs' capabilities in reasoning about program semantics are still inadequately studied,…