Cover Image

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Fang, Zuo, Fei, Gupta, Gopal
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming
by: Li, Fang, et al.
Published: (2025)

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
by: Chen, Hung-Mao, et al.
Published: (2025)

Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
by: Damodaran, Suresh K., et al.
Published: (2025)

ORCHID: Streaming Threat Detection over Versioned Provenance Graphs
by: Goyal, Akul, et al.
Published: (2024)

Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture
by: Thomas, Morgan, et al.
Published: (2025)

CyberThreat-Eval: Can Large Language Models Automate Real-World Threat Research?
by: Chen, Xiangsen, et al.
Published: (2026)

CLIProv: A Contrastive Log-to-Intelligence Multimodal Approach for Threat Detection and Provenance Analysis
by: Li, Jingwen, et al.
Published: (2025)

Static Deadlock Detection for Rust Programs
by: Zhang, Yu, et al.
Published: (2024)

ProGQL: A Provenance Graph Query System for Cyber Attack Investigation
by: Shao, Fei, et al.
Published: (2025)

Censor Resistant Instruction Independent Obfuscation for Multiple Programs
by: Ajorian, Ali
Published: (2025)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
by: Thibault, Jérémy, et al.
Published: (2024)

Misquoted No More: Securely Extracting F* Programs with IO
by: Andrici, Cezar-Constantin, et al.
Published: (2026)

A Bayesian Approach to Membership Inference for Statistical Release
by: Oakley, Lisa, et al.
Published: (2026)

zkStruDul: Programming zkSNARKs with Structural Duality
by: Krishnan, Rahul, et al.
Published: (2025)

From Retrieval to Reasoning: A Framework for Cyber Threat Intelligence NER with Explicit and Adaptive Instructions
by: Peng, Jiaren, et al.
Published: (2025)

Marlin: Knowledge-Driven Analysis of Provenance Graphs for Efficient and Robust Detection of Cyber Attacks
by: Li, Zhenyuan, et al.
Published: (2024)

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
by: Smaragdakis, Yannis, et al.
Published: (2025)

Dynamic Graph-based Fingerprinting of In-browser Cryptomining
by: Sermchaiwong, Tanapoom, et al.
Published: (2025)

Actionable Cyber Threat Intelligence using Knowledge Graphs and Large Language Models
by: Fieblinger, Romy, et al.
Published: (2024)

LRCTI: A Large Language Model-Based Framework for Multi-Step Evidence Retrieval and Reasoning in Cyber Threat Intelligence Credibility Verification
by: Tang, Fengxiao, et al.
Published: (2025)

Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust
by: Gülmez, Merve, et al.
Published: (2023)

TITAN: Graph-Executable Reasoning for Cyber Threat Intelligence
by: Simoni, Marco, et al.
Published: (2025)

Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
by: Zhang, Keyang, et al.
Published: (2026)

Programming Frameworks for Differential Privacy
by: Gaboardi, Marco, et al.
Published: (2024)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
by: Ren, Silei, et al.
Published: (2025)

LLM-driven Provenance Forensics for Threat Investigation and Detection
by: Mukherjee, Kunal, et al.
Published: (2025)

Knowledge Transfer from LLMs to Provenance Analysis: A Semantic-Augmented Method for APT Detection
by: Zuo, Fei, et al.
Published: (2025)

SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
by: Sharma, Reshabh K, et al.
Published: (2026)

Language-Based Security for Low-Level MPC
by: Skalka, Christian, et al.
Published: (2024)

Rethinking LLM Watermark Detection in Black-Box Settings: A Non-Intrusive Third-Party Framework
by: Wang, Zhuoshang, et al.
Published: (2026)

Exploiting Code Symmetries for Learning Program Semantics
by: Pei, Kexin, et al.
Published: (2023)

Ensemble Defense System: A Hybrid IDS Approach for Effective Cyber Threat Detection
by: Alharbi, Sarah, et al.
Published: (2024)

Evaluation of LLM Chatbots for OSINT-based Cyber Threat Awareness
by: Shafee, Samaneh, et al.
Published: (2024)

Few-Shot Learning-Based Cyber Incident Detection with Augmented Context Intelligence
by: Zuo, Fei, et al.
Published: (2025)

SCyTAG: Scalable Cyber-Twin for Threat-Assessment Based on Attack Graphs
by: Tayouri, David, et al.
Published: (2025)

Discerning Reliable Cyber Threat Indicators for Timely Cyber Threat Intelligence
by: Arikkat, Dincy R, et al.
Published: (2023)

Enabling Privacy-Preserving Cyber Threat Detection with Federated Learning
by: Bi, Yu, et al.
Published: (2024)

reconCTI: A Proactive Approach to Cyber-Threat Intelligence
by: Rahman, Mohammed Mahir, et al.
Published: (2026)

Interpretable Cyber Threat Detection for Enterprise Industrial Networks: A Computational Design Science Approach
by: Kumar, Prabhat, et al.
Published: (2024)

Compositional security definitions for higher-order where declassification
by: Menz, Jan, et al.
Published: (2026)