5 papers · 1 filter
Stored Is Not Supported: Typed Provenance and Assertion Guardrails for Persistent AI Agents
Jun He, Deying Yu
Persistent AI agents construct autobiographical state through reflection, retrieval, and consolidation. Persistence changes availability, not epistemic standing: stored or retrieve…
Sovereign Execution Broker: Enforcing Certificate-Bound Authority in Agentic Control Planes
Jun He, Deying Yu
Autonomous agents are increasingly connected to cloud, deployment, and data-control workflows, but production mutation authority should not reside inside non-deterministic reasonin…
Sovereign Assurance Boundary: Certificate-Bound Admission for Agentic Infrastructure
Jun He, Deying Yu
Agentic infrastructure introduces a critical control-plane authorization problem: non-deterministic reasoning systems can propose high-stakes mutations to production resources, yet…
Sovereign Agentic Loops: Decoupling AI Reasoning from Execution in Real-World Systems
Jun He, Deying Yu
Large language model (LLM) agents increasingly issue API calls that mutate real systems, yet many current architectures pass stochastic model outputs directly to execution layers.…
Argus: Reorchestrating Static Analysis via a Multi-Agent Ensemble for Full-Chain Security Vulnerability Detection
Zi Liang, Qipeng Xie, Jun He +7
Recent advancements in Large Language Models (LLMs) have sparked interest in their application to Static Application Security Testing (SAST), primarily due to their superior contex…