4 ms·Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization3 points by mark4 2y ago