ResearchPCAS Policy Compiler for Secure Agentic SystemsarXiv·high signalCompiler-based deterministic policy enforcement improves agent compliance from 48% to 93% with zero violationsSourceSource pagearXiv↳ Follow the threadPolicy dependency / Stack layerReason Less, Verify More: Deterministic Gates Catch a Silent Policy-Violation Failure in Tool-Using AgentsarXivPolicy dependency / Threat patternVEXAIoT: arXiv paper demonstrates autonomous IoT vulnerability exploitation using AI agentsarXivPolicy dependency / Stack layerMosaic Cuts Multi-Agent Embodied Planning Latency by Attacking Failed Actions, Not Just CoordinationarXivPolicy dependency / Threat patternMalaika Grounds Agentic Malware Analysis in Domain, Program Semantics, and Threat IntelarXivPolicy dependency / Threat patternDual-Graph Verification Framework Audits Legacy IT Security Concepts for NIS-2 / OSCAL MigrationarXivPolicy dependency / Stack layerCache and reuse agent-generated tools instead of regenerating code every request (arXiv 2607.08010, July 9)arXiv 2607.08010Policy dependency / Stack layerMitigating Taint-Style MCP Server Vulnerabilities Without Touching Server Code (SPELLSMITH)arXivPolicy dependency / Stack layerDynamic Analysis Uncovers Three New OAuth Authentication Misuses in Super-App Mini-ProgramsarXiv