3 ms·Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization2 points by mmcloughlin 3y ago