FORGE enforces security policies in agentic systems via Datalog over abstract predicates with an observability service and reference monitor that guarantees policy semantics when the environment contract holds.
Zanzibar:{Google’s} consistent, global authorization system
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
AgentBound is a governance framework that composes delegated authorization, behavioral constitutions, and action contracts to produce cryptographically verifiable decisions on AI agent actions.
citing papers explorer
-
Formal Policy Enforcement for Real-World Agentic Systems
FORGE enforces security policies in agentic systems via Datalog over abstract predicates with an observability service and reference monitor that guarantees policy semantics when the environment contract holds.
-
Behavioral Governance for Autonomous AI Agents: The AgentBound Framework
AgentBound is a governance framework that composes delegated authorization, behavioral constitutions, and action contracts to produce cryptographically verifiable decisions on AI agent actions.