AST 2025
Sat 26 April - Sun 4 May 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025

This program is tentative and subject to change.

Tue 29 Apr 2025 17:00 - 17:30 at 211 - Session 6: Vulnerability Detection & Closing

In recent years, security testing and vulnerability detection in source code have experienced a significant transformation with the adoption of data-driven techniques. This shift has reduced reliance on manual analysis, addressed the high false-positive rates of static analyzers, and accelerated the early detection of software bugs, ultimately mitigating the risk of cyberattacks. Among these advancements, graph-based approaches have shown promising results by capturing structural and contextual patterns within source code. However, such methods often rely solely on the code under analysis, limiting their ability to comprehensively learn vulnerable patterns.

This study explores the integration of domain-specific knowledge into a Graph Neural Network (GNN)–based model to enhance its understanding and detection of vulnerabilities. By incorporating resources such as CVE descriptions, CWE definitions, and sample functions provided by security experts at the MITRE Corporation, we aim to enrich the model’s knowledge base. Our approach demonstrates significant improvements on a Java vulnerability dataset across all considerable metrics. This finding underscores the value of domain-specific augmentation in advancing vulnerability detection capabilities.

This program is tentative and subject to change.

Tue 29 Apr

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:30
Session 6: Vulnerability Detection & ClosingAST 2025 at 211
16:00
30m
Full-paper
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
AST 2025
Norbert Tihanyi Technology Innovation Institute, Yiannis Charalambous The University of Manchester, Ridhi Jain Technology Innovation Institute (TII), Abu Dhabi, UAE, Mohamed Amine Ferrag Guelma University, Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil
16:30
30m
Full-paper
Bringing Light into the Darkness: Leveraging Hidden Markov Models for Blackbox Fuzzing
AST 2025
Anne Borcherding Fraunhofer IOSB, Mark Giraud Fraunhofer IOSB, Johannes Häring Karlsruhe Institute of Technology
17:00
30m
Full-paper
Incorporating Domain Knowledge into GNNs for Advanced Vulnerability Detection in Java
AST 2025
ROSMAEL ZIDANE LEKEUFACK FOULEFACK Information Engineering and Computer Science (DISI)/University of Trento (UNITN), Alessandro Marchetto Università di Trento
:
:
:
: