:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Garby, Zac, Gordon, Andrew D., Sands, David
Format:	Preprint
Published:	2026
Subjects:	Programming Languages Artificial Intelligence Cryptography and Security D.3.1; I.2.5
Online Access:	https://arxiv.org/abs/2602.20064
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation
by: McCann, Alan L.
Published: (2026)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
by: Wienczkowski, Michael
Published: (2026)

Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems
by: McCann, Alan L.
Published: (2026)

Policy as Code, Policy as Type
by: Fuchs, Matthew D.
Published: (2025)

LLMLogAnalyzer: A Clustering-Based Log Analysis Chatbot using Large Language Models
by: Cai, Peng, et al.
Published: (2025)

Refute-or-Promote: An Adversarial Stage-Gated Multi-Agent Review Methodology for High-Precision LLM-Assisted Defect Discovery
by: Agarwal, Abhinav
Published: (2026)

Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions
by: Bhusal, Bishnu, et al.
Published: (2025)

LLM Translation of Compiler Intermediate Representation
by: Ramirez, Andrea Valenzuela, et al.
Published: (2026)

CEKER: A Generalizable LLM Framework for Literature Analysis with a Case Study in Unikernel Security
by: Wollman, Alex, et al.
Published: (2024)

Orion: Fuzzing Workflow Automation
by: Bazalii, Max, et al.
Published: (2025)

ClawHub Security Signals: When VirusTotal, Static Analysis, and SkillSpector Disagree
by: Koc, Vincent, et al.
Published: (2026)

Terminal Wrench: A Dataset of 331 Reward-Hackable Environments and 3,632 Exploit Trajectories
by: Bercovich, Ivan, et al.
Published: (2026)

Can AI Lower the Barrier to Cybersecurity? A Human-Centered Mixed-Methods Study of Novice CTF Learning
by: Schachner, Cathrin, et al.
Published: (2026)

ACPO: AI-Enabled Compiler Framework
by: Ashouri, Amir H., et al.
Published: (2023)

CovRL: Fuzzing JavaScript Engines with Coverage-Guided Reinforcement Learning for LLM-based Mutation
by: Eom, Jueon, et al.
Published: (2024)

REMaQE: Reverse Engineering Math Equations from Executables
by: Udeshi, Meet, et al.
Published: (2023)

A Calculus of Inheritance
by: Yang, Bo
Published: (2026)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
by: Oza, Neeva, et al.
Published: (2025)

A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
by: Boyer, Matthieu Pierre
Published: (2025)

VulScribeR: Exploring RAG-based Vulnerability Augmentation with LLMs
by: Daneshvar, Seyed Shayan, et al.
Published: (2024)

An Organization-Scoped LLM Agent Runtime Architecture for Regulated Cybersecurity Operations
by: Fatouros, George, et al.
Published: (2026)

Continuous Discovery of Vulnerabilities in LLM Serving Systems with Fuzzing
by: Zhao, Yunze, et al.
Published: (2026)

Detecting Vulnerabilities in Encrypted Software Code while Ensuring Code Privacy
by: Martins, Jorge, et al.
Published: (2025)

Improving LLM Agents with Reinforcement Learning on Cryptographic CTF Challenges
by: Muzsai, Lajos, et al.
Published: (2025)

HackSynth: LLM Agent and Evaluation Framework for Autonomous Penetration Testing
by: Muzsai, Lajos, et al.
Published: (2024)

Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues
by: Cipollone, Daniele, et al.
Published: (2025)

Generative transformations and patterns in LLM-native approaches for software verification and falsification
by: Braberman, Víctor A., et al.
Published: (2024)

A Survey on the Security of Long-Term Memory in LLM Agents: Toward Mnemonic Sovereignty
by: Lin, Zehao, et al.
Published: (2026)

Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering
by: Ashouri, Amir H., et al.
Published: (2026)

Learn, Check, Test -- Security Testing Using Automata Learning and Model Checking
by: Marksteiner, Stefan, et al.
Published: (2025)

Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
by: Mostovyi, Oleksandr
Published: (2026)

How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
by: Zhang, Cen, et al.
Published: (2023)

When the Agent Is the Adversary: Architectural Requirements for Agentic AI Containment After the April 2026 Frontier Model Escape
by: Mitchell, Richard Joseph
Published: (2026)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
by: McCann, Alan L.
Published: (2026)

Owner-Harm: A Missing Threat Model for AI Agent Safety
by: Zhang, Dongcheng, et al.
Published: (2026)

Semantics for 2D Rasterization
by: Kulkarni, Bhargav, et al.
Published: (2026)

L2MAC: Large Language Model Automatic Computer for Extensive Code Generation
by: Holt, Samuel, et al.
Published: (2023)

Securing Mixed Rust with Hardware Capabilities
by: Yu, Jason Zhijingcheng, et al.
Published: (2025)

ZK-SenseLM: Verifiable Large-Model Wireless Sensing with Selective Abstention and Zero-Knowledge Attestation
by: Akgul, Hasan, et al.
Published: (2025)