Dushyanth V·8h agoProving Policy Properties with Cedar’s Symbolic CompilerTests sample a policy set; a proof covers it. Eight Cedar agent authorization policies checked with the symbolic compiler and cvc5, and…
Dushyanth V·Oct 28Writing Agent Authorization as Code with CedarAgent authorization as Cedar policy: a schema, grants as data, three rules, and tests that assert why a call was denied.
Robert Broeckelmann·Oct 5Cedar: Authorization, Without the XML HangoverIn my previous article, I talked about ALFA and why nobody particularly wants to write XACML by hand.
Priya Kumbham·Jul 25Implement Zero Trust Security for Autonomous AI Agents Using Policy-as-Code (Cedar)Zero Trust for AI Agents
Tolgahan Demirbaş·Mar 27Amazon Bedrock AgentCore Policy + Cedar: Control What Your AI Agents Can DoYour agent can read data, but it cannot write or delete anything, unless a human says “yes.” This post builds it step by step, with real…
