Cover Image

Automated Reasoning for Vulnerability Management by Design

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shaked, Avi, Messe, Nan
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Artificial Intelligence Logic in Computer Science Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reproducing a Security Risk Assessment Using Computer Aided Design
by: Shaked, Avi
Published: (2025)

Inferentialist Resource Semantics
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Causality for Cyber-Physical Systems
by: Araujo, Hugo, et al.
Published: (2025)

Measuring Robustness in Cyber-Physical Systems under Sensor Attacks
by: Xiang, Jian, et al.
Published: (2024)

Anonymous Public Announcements
by: Ågotnes, Thomas, et al.
Published: (2025)

A Gradient-Optimized TSK Fuzzy Framework for Explainable Phishing Detection
by: Pentapalli, Lohith Srikanth, et al.
Published: (2025)

Atomic Decision Boundaries: A Structural Requirement for Guaranteeing Execution-Time Admissibility in Autonomous Systems
by: Fernandez, Marcelo
Published: (2026)

Towards an ontology of state actors in cyberspace
by: De Colle, Giacomo
Published: (2024)

Automated Reasoning in Blockchain: Foundations, Applications, and Frontiers
by: Key, Hojer
Published: (2025)

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
by: Jeanteur, Simon, et al.
Published: (2023)

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

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs
by: Rao, Balaji, et al.
Published: (2026)

LOCALINTEL: Generating Organizational Threat Intelligence from Global and Local Cyber Knowledge
by: Mitra, Shaswata, et al.
Published: (2024)

Automated Security Response through Online Learning with Adaptive Conjectures
by: Hammar, Kim, et al.
Published: (2024)

Cryptis: Cryptographic Reasoning in Separation Logic
by: de Amorim, Arthur Azevedo, et al.
Published: (2025)

LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning
by: Nguyen, Dung Thuy, et al.
Published: (2024)

Evaluating Implicit Regulatory Compliance in LLM Tool Invocation via Logic-Guided Synthesis
by: Song, Da, et al.
Published: (2026)

An Information-Flow Perspective on Algorithmic Fairness
by: Teuber, Samuel, et al.
Published: (2023)

ViSTR-GP: Online Cyberattack Detection via Vision-to-State Tensor Regression and Gaussian Processes in Automated Robotic Operations
by: Aftabi, Navid, et al.
Published: (2025)

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
by: Sidrane, Chelsea, et al.
Published: (2025)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
by: Ramirez, Miquel, et al.
Published: (2024)

Safe and Reliable Training of Learning-Based Aerospace Controllers
by: Mandal, Udayan, et al.
Published: (2024)

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems
by: Sidrane, Chelsea, et al.
Published: (2024)

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
by: Belly, Marius, et al.
Published: (2024)

Learning Algorithms for Verification of Markov Decision Processes
by: Brázdil, Tomáš, et al.
Published: (2024)

Cyber-Resilient System Identification for Power Grid through Bayesian Integration
by: Li, Shimiao, et al.
Published: (2025)

Large Language Model-Based Framework for Explainable Cyberattack Detection in Automatic Generation Control Systems
by: Sharshar, Muhammad, et al.
Published: (2025)

Architecting Resilient LLM Agents: A Guide to Secure Plan-then-Execute Implementations
by: Del Rosario, Ron F., et al.
Published: (2025)

Trusted Routing for Blockchain-Empowered UAV Networks via Multi-Agent Deep Reinforcement Learning
by: Jia, Ziye, et al.
Published: (2025)

Integrated LLM-Based Intrusion Detection with Secure Slicing xApp for Securing O-RAN-Enabled Wireless Network Deployments
by: Moore, Joshua, et al.
Published: (2025)

GPS Spoofing Attack Detection in Autonomous Vehicles Using Adaptive DBSCAN
by: Mohammadi, Ahmad, et al.
Published: (2025)

Stable Agentic Control: Tool-Mediated LLM Architecture for Autonomous Cyber Defense
by: Prinos, Kerri, et al.
Published: (2026)

Behavioral Integrity Verification for AI Agent Skills
by: Wu, Yuhao, et al.
Published: (2026)

Verifier-Bound Communication for LLM Agents: Certified Bounds on Covert Signaling
by: Tailor, Om
Published: (2026)

KnowSafe: Combined Knowledge and Data Driven Hazard Mitigation in Artificial Pancreas Systems
by: Zhou, Xugui, et al.
Published: (2023)

A Whole New World: Creating a Parallel-Poisoned Web Only AI-Agents Can See
by: Zychlinski, Shaked
Published: (2025)

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
by: Lindner, Andreas, et al.
Published: (2023)

Holographic Projection and Cyber Attack Surface: A Physical Analogy for Digital Security
by: Fernandes, Ricardo Queiroz de Araujo, et al.
Published: (2025)

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
by: Kolesar, John, et al.
Published: (2025)

Vers une modélisation de la confiance dans le renseignement sur les menaces cyber
by: Bobelin, Laurent, et al.
Published: (2025)