91 citations · 176 across the 38 of their papers we have counts for
4 papers · 1 filter
On the Credibility of Backdoor Attacks Against Object Detectors in the Physical World
Bao Gia Doan, Dang Quang Nguyen, Callum Lindquist +7
Object detectors are vulnerable to backdoor attacks. In contrast to classifiers, detectors possess unique characteristics, architecturally and in task execution; often operating in…
EaTVul: ChatGPT-based Evasion Attack Against Software Vulnerability Detection
Shigang Liu, Di Cao, Junae Kim +5
Recently, deep learning has demonstrated promising results in enhancing the accuracy of vulnerability detection and identifying vulnerabilities in software. However, these techniqu…
Bayesian Learned Models Can Detect Adversarial Malware For Free
Bao Gia Doan, Dang Quang Nguyen, Paul Montague +6
The vulnerability of machine learning-based malware detectors to adversarial attacks has prompted the need for robust solutions. Adversarial training is an effective method but is…
BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
Sean Lamont, Michael Norrish, Amir Dezfouli +2
Artificial Intelligence for Theorem Proving has given rise to a plethora of benchmarks and methodologies, particularly in Interactive Theorem Proving (ITP). Research in the area is…