#authorization

Deterministic authorization + tamper-evident audit for AI agents, humans, and workloads — one principal type, safety invariants machine-checked by an SMT solver (cvc5), every decision independently verifiable offline. Pure Rust.

Bounded Agents: Delegation Security for Multi-Agent AI Systems - Reference Implementation and Evaluation Artifact

The trust control plane for enterprise AI agents — real-time policy verdicts in under 800ms and litigation-grade evidence of every decision. Pharos decides. Pharos proves.

ERDL deterministic Guard engine — cryptographic audit chain for AI Agent decisions. Train, deploy, correct, prove.

Benchmark for AI agents proving multi-tenant SaaS authorization bugs

The pause is where tools break: approval out of band, token minted at execution, arguments bound to what a human saw, spent once, sealed in a hash-chained receipt.

Specification for governance-first context memory in autonomous AI agent systems. Defines the Mandate Gate: a pre-work mandate must exist before an agent session is valid.

A dynamic, AI-integrated web application for building, customizing, and exporting ATS-friendly professional resumes in real-time.

Empirical evidence that OWASP AISVS C9.2 has no accountability axis: an action an AI agent cannot be answerable for reaches human-owned execution only through a false input. By K. Lunina.

External threat detection provider for Microsoft Copilot Studio. Authorizes every agent tool call at runtime against Reva policy. Runs in your own environment on Node or AWS Lambda, with zero runtime dependencies.

OAuth-style delegated authorization for AI agents and MCP servers — scoped, revocable, short-lived tokens.

Counterfactual authorization for agent actions: authority graph simulator enforcing reachable_authority(G_after) ⊆ mandate. Visor Trust Plane.

Security and authorization layer for AI-powered commerce. AI proposes transactions, AgentShield validates them, humans approve, and Razorpay executes.

TUI for Mandatum delegation chains: who sent this agent, where trust breaks, and what it may still do