AWS Open Source Blog

Category: HAQM Verified Permissions

Lean Into Verified Software Development

We built a formal model of Cedar in Lean, and proved that Cedar’s components satisfy key safety and security properties.

Two New Open Source Rust Crates Create Easier Cedar Policy Management

Developers using the Cedar SDK can use two new open source Rust crates, cedar-local-agent and avp-local-agent, to reduce their development burden and ease policy management tasks.