ResearchPCAS Policy Compiler for Secure Agentic Systems 48% to 93% CompliancearXiv·high signalCompiler-based deterministic policy enforcement improves agent compliance from 48% to 93% with zero violationsSourceSource pagearXiv↳ Follow the threadPolicy dependency / Stack layerMako: A 'Self-Evolving Agentic OS' That Writes New Exploits Against Live Targets and Hot-Loads Them Into ItselfarXivPolicy dependency / Stack layerMCPZoo Study: Scanners Call 96.89% of MCP Servers 'Risky' — But Under Half of Those Alerts Are RealarXivPolicy dependency / Stack layerStudy of 44 Developers: AI Code Assistants Barely Improve Secure API UsagearXivPolicy dependency / Stack layerCynative Ships an Open-Source Deep-Research Security Agent With Default-Deny Write PermissionsIT Security NewsPolicy dependency / Stack layerAria: A General Code Agent + Verification Harness Proves All 4,257 Core Iris Lemmas Fully AutomaticallyarXivPolicy dependency / Stack layerReliable, Developer-Aligned Evaluation of SE Agents: 279-Paper Review Finds an 'Illusion of Competence'arXivPolicy dependency / Stack layerDistributed Backdoors Prove Per-Step Agent Monitors Can Be Right on Every Step and Still Miss the AttackarXivPolicy dependency / Stack layerRetrieval-Oriented Code Representations Sharpen Agentic Bug LocalizationarXiv