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…
Olá Ogunyemi·Dec 23, 2025Cedar — ‘Discover’ seriesThe seeds you planted yesterday, could have birth any story but…
Jason Conway-Williams·Mar 9, 2025Serverless Granular Authorisation with Cedar — High Control, Minimal Cost 🔐⚡💰In this blog post, I introduce a granular authorisation pattern for Serverless workloads using the Cedar policy language.A response icon1A response icon1
George Cassidy Payne·Dec 26, 2024Big Cedar TreeI pressed my palms into it, its pulse slow, like it had been here too long for time to matter.
Yemisi Adeniyi·Aug 29, 2024This Beautiful Journey: Growing Like a Cedar in LebanonHey there! Have you ever felt like you’re facing challenges that seem as tall as the majestic cedar trees of Lebanon? Well, you’re not…A response icon1A response icon1
