Cover Image

Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Veronica, Sarah
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Adversarial Defense in Cybersecurity: A Systematic Review of GANs for Threat Detection and Mitigation
by: Ndayipfukamiye, Tharcisse, et al.
Published: (2025)

AI-Driven Cybersecurity Threats: A Survey of Emerging Risks and Defensive Strategies
by: Erukude, Sai Teja, et al.
Published: (2026)

Attention-GAN for Anomaly Detection: A Cutting-Edge Approach to Cybersecurity Threat Management
by: Sen, Mohammed Abo
Published: (2024)

Surveying the Operational Cybersecurity and Supply Chain Threat Landscape when Developing and Deploying AI Systems
by: Smith, Michael R, et al.
Published: (2025)

ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification
by: Tashdid, Ishraq, et al.
Published: (2026)

AgenticCyber: A GenAI-Powered Multi-Agent System for Multimodal Threat Detection and Adaptive Response in Cybersecurity
by: Roy, Shovan
Published: (2025)

Machine Learning and Deep Learning Techniques used in Cybersecurity and Digital Forensics: a Review
by: Fattahi, Jaouhar
Published: (2024)

Crimson: Empowering Strategic Reasoning in Cybersecurity through Large Language Models
by: Jin, Jiandong, et al.
Published: (2024)

LLM-Assisted Proactive Threat Intelligence for Automated Reasoning
by: Paul, Shuva, et al.
Published: (2025)

Technique Inference Engine: A Recommender Model to Support Cyber Threat Hunting
by: Turner, Matthew J., et al.
Published: (2025)

The New Frontier of Cybersecurity: Emerging Threats and Innovations
by: Dave, Daksh, et al.
Published: (2023)

Detecting Cybersecurity Threats by Integrating Explainable AI with SHAP Interpretability and Strategic Data Sampling
by: Srisumrith, Norrakith, et al.
Published: (2026)

A Formal Security Framework for MCP-Based AI Agents: Threat Taxonomy, Verification Models, and Defense Mechanisms
by: Acharya, Nirajan, et al.
Published: (2026)

ThreatLens: LLM-guided Threat Modeling and Test Plan Generation for Hardware Security Verification
by: Saha, Dipayan, et al.
Published: (2025)

AI Agents Under Threat: A Survey of Key Security Challenges and Future Pathways
by: Deng, Zehang, et al.
Published: (2024)

Large Language Models in Cybersecurity: Applications, Vulnerabilities, and Defense Techniques
by: Jaffal, Niveen O., et al.
Published: (2025)

CyberSOCEval: Benchmarking LLMs Capabilities for Malware Analysis and Threat Intelligence Reasoning
by: Deason, Lauren, et al.
Published: (2025)

CTIArena: Benchmarking LLM Knowledge and Reasoning Across Heterogeneous Cyber Threat Intelligence
by: Cheng, Yutong, et al.
Published: (2025)

Integrative Approaches in Cybersecurity and AI
by: Omar, Marwan
Published: (2024)

Reinforcement Learning for Automated Cybersecurity Penetration Testing
by: López-Montero, Daniel, et al.
Published: (2025)

Dynamic Risk Assessments for Offensive Cybersecurity Agents
by: Wei, Boyi, et al.
Published: (2025)

A Survey on Offensive AI Within Cybersecurity
by: Girhepuje, Sahil, et al.
Published: (2024)

A Survey of Large Language Models in Cybersecurity
by: da Silva, Gabriel de Jesus Coelho, et al.
Published: (2024)

Graph Neural Network Based Adaptive Threat Detection for Cloud Identity and Access Management Logs
by: Madireddy, Venkata Tanuja
Published: (2025)

ThreatGPT: An Agentic AI Framework for Enhancing Public Safety through Threat Modeling
by: Zisad, Sharif Noor, et al.
Published: (2025)

Governable AI: Provable Safety Under Extreme Threat Models
by: Wang, Donglin, et al.
Published: (2025)

On Technique Identification and Threat-Actor Attribution using LLMs and Embedding Models
by: Guru, Kyla, et al.
Published: (2025)

Mobile Application Threats and Security
by: Mirzoev, Timur, et al.
Published: (2025)

ThreatModeling-LLM: Automating Threat Modeling using Large Language Models for Banking System
by: Wu, Tingmin, et al.
Published: (2024)

Cognitive Cybersecurity for Artificial Intelligence: Guardrail Engineering with CCS-7
by: Aydin, Yuksel
Published: (2025)

From Texts to Shields: Convergence of Large Language Models and Cybersecurity
by: Li, Tao, et al.
Published: (2025)

Explainable but Vulnerable: Adversarial Attacks on XAI Explanation in Cybersecurity Applications
by: Mia, Maraz, et al.
Published: (2025)

CyberCertBench: Evaluating LLMs in Cybersecurity Certification Knowledge
by: Keppler, Gustav, et al.
Published: (2026)

When LLMs Meet Cybersecurity: A Systematic Literature Review
by: Zhang, Jie, et al.
Published: (2024)

CyberEvolver: Structured Self-Evolution for Cybersecurity Agents On the Fly
by: Fan, Yihe, et al.
Published: (2026)

Improving Generalization on Cybersecurity Tasks with Multi-Modal Contrastive Learning
by: Huang, Jianan, et al.
Published: (2026)

CIPHER: Cybersecurity Intelligent Penetration-testing Helper for Ethical Researcher
by: Pratama, Derry, et al.
Published: (2024)

PICO: Secure Transformers via Robust Prompt Isolation and Cybersecurity Oversight
by: Goertzel, Ben, et al.
Published: (2025)

Generative AI in Cybersecurity: A Comprehensive Review of LLM Applications and Vulnerabilities
by: Ferrag, Mohamed Amine, et al.
Published: (2024)