SCOPE compiles natural-language agent policies into predicate programs
Programs trained with a weak executor transfer to other models and match frontier accuracy at lower cost with more stable verdicts.
8 stories, newest first · one card per story
Programs trained with a weak executor transfer to other models and match frontier accuracy at lower cost with more stable verdicts.
AXON Networks launched Datum to enforce data access and residency policies before AI systems act.
Transcend launched Rails, a governance product enforcing per-action policies, budgets, audit trails, and kill switches for enterprise AI agents.
A framework maps generative AI policy enforcement from model alignment to access control.

meshIQ engineering head Gourab Basu argues AI agent governance must inspect proposed tool calls in-flow, since prompts alone cannot control nondeterministic agents.
Researchers verify a class of EverParse validators that correctly enforce access-control policies, deploying a machine-checked enforcement gate on seL4.
Researchers specify EBL-Core, an execution-boundary conformance profile binding AI agent intents, policies, and evidence into verifiable execution grants, validated with bounded tests.
Researchers introduce CONTINUITY, a framework of assume-guarantee contracts that preserves LLM agent security context across components, verified across 2,560 attack instances.
Today 1.6K readers · 2.5K views · 777 reads · all time 189K views