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