Cover Image

QRS: A Rule-Synthesizing Neuro-Symbolic Triad for Autonomous Vulnerability Discovery

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tsigkourakos, George, Patsakis, Constantinos
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Evading and crashing anti-malware solutions via data collection overloading during analysis serialization
by: Gkritsis, Evgenios, et al.
Published: (2025)

Outside the Comfort Zone: Analysing LLM Capabilities in Software Vulnerability Detection
by: Guo, Yuejun, et al.
Published: (2024)

Just in Plain Sight: Unveiling CSAM Distribution Campaigns on the Clear Web
by: Lykousas, Nikolaos, et al.
Published: (2025)

The Malware as a Service ecosystem
by: Patsakis, Constantinos, et al.
Published: (2024)

Assessing LLMs in Malicious Code Deobfuscation of Real-world Malware Campaigns
by: Patsakis, Constantinos, et al.
Published: (2024)

Hello, won't you tell me your name?: Investigating Anonymity Abuse in IPFS
by: Karapapas, Christos, et al.
Published: (2025)

Inside LockBit: Technical, Behavioral, and Financial Anatomy of a Ransomware Empire
by: Castaño, Felipe, et al.
Published: (2025)

Synthesizing Multi-Agent Harnesses for Vulnerability Discovery
by: Liu, Hanzhi, et al.
Published: (2026)

Coding Malware in Fancy Programming Languages for Fun and Profit
by: Apostolopoulos, Theodoros, et al.
Published: (2025)

COBALT-TLA: A Neuro-Symbolic Verification Loop for Cross-Chain Bridge Vulnerability Discovery
by: Blain, Dominik
Published: (2026)

Assessing the Impact of Packing on Machine Learning-Based Malware Detection and Classification Systems
by: Gibert, Daniel, et al.
Published: (2024)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
by: Shafiuzzaman, Md, et al.
Published: (2026)

Neuro-symbolic Static Analysis with LLM-generated Vulnerability Patterns
by: Li, Penghui, et al.
Published: (2025)

Divide and Conquer based Symbolic Vulnerability Detection
by: Scherb, Christopher, et al.
Published: (2024)

HunterAgent: Neuro-Symbolic Attack Trace Reconstruction under Anti-Forensics
by: Zhao, Guangze, et al.
Published: (2026)

Analysing Multidisciplinary Approaches to Fight Large-Scale Digital Influence Operations
by: Arroyo, David, et al.
Published: (2025)

Contextualizing Sink Knowledge for Java Vulnerability Discovery
by: Fleischer, Fabian, et al.
Published: (2026)

Agentic Discovery and Validation of Android App Vulnerabilities
by: Wang, Ziyue, et al.
Published: (2025)

Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis
by: Bailey, Joshua, et al.
Published: (2025)

Improving Discovery of Known Software Vulnerability For Enhanced Cybersecurity
by: Sawant, Devesh, et al.
Published: (2024)

Security Vulnerabilities in Software Supply Chain for Autonomous Vehicles
by: Haque, Md Wasiul, et al.
Published: (2025)

Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities
by: Hakim, Safayat Bin, et al.
Published: (2025)

When Machine Learning Meets Vulnerability Discovery: Challenges and Lessons Learned
by: Arasteh, Sima, et al.
Published: (2025)

Asymmetry Vulnerability and Physical Attacks on Online Map Construction for Autonomous Driving
by: Lou, Yang, et al.
Published: (2025)

Learning to Locate: GNN-Powered Vulnerability Path Discovery in Open Source Code
by: Atashin, Nima, et al.
Published: (2025)

An Open-source Implementation and Security Analysis of Triad's TEE Trusted Time Protocol
by: Bettinger, Matthieu, et al.
Published: (2025)

vEcho: A Paradigm Shift from Vulnerability Verification to Proactive Discovery with Large Language Models
by: Jiang, Mingcheng, et al.
Published: (2026)

UEFI Vulnerability Signature Generation using Static and Symbolic Analysis
by: Shafiuzzaman, Md, et al.
Published: (2024)

ICSFuzz: Collision Detector Bug Discovery in Autonomous Driving Simulators
by: Fu, Weiwei, et al.
Published: (2024)

APIOT: Autonomous Vulnerability Management Across Bare-Metal Industrial OT Networks
by: ElZemity, Adel, et al.
Published: (2026)

Vulnerability Mitigation System (VMS): LLM Agent and Evaluation Framework for Autonomous Penetration Testing
by: Abdulzada, Farzana
Published: (2025)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
by: Rawat, Sanjay
Published: (2026)

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
by: Huang, Huihui, et al.
Published: (2026)

VerilogLAVD: LLM-Aided Rule Generation for Vulnerability Detection in Verilog
by: Long, Xiang, et al.
Published: (2025)

AED: Automatic Discovery of Effective and Diverse Vulnerabilities for Autonomous Driving Policy with Large Language Models
by: Qiu, Le, et al.
Published: (2025)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
by: Wang, Claire, et al.
Published: (2025)

"Elementary, My Dear Watson." Detecting Malicious Skills via Neuro-Symbolic Reasoning across Heterogeneous Artifacts
by: Wang, Shenao, et al.
Published: (2026)

AutoPentest: Enhancing Vulnerability Management With Autonomous LLM Agents
by: Henke, Julius
Published: (2025)

LLM Agents can Autonomously Exploit One-day Vulnerabilities
by: Fang, Richard, et al.
Published: (2024)

Triad: Trusted Timestamps in Untrusted Environments
by: Fernandez, Gabriel P., et al.
Published: (2023)