AWS Security Blog
Author: Emina Torlak
Emina is a Senior Principal Applied Scientist at Amazon Web Services and an Affiliate Professor at the University of Washington. Her research focuses on developing languages and tools for program verification and synthesis. Emina co-leads the development of Cedar.
How we designed Cedar to be intuitive to use, fast, and safe
This post is a deep dive into the design of Cedar, an open source language for writing and evaluating authorization policies. Using Cedar, you can control access to your application’s resources in a modular and reusable way. You write Cedar policies that express your application’s permissions, and the application uses Cedar’s authorization engine to decide which […]