Cedar: An Expressive, Fast, Safe, and Analyzable Authorization Language for Modern Distributed Systems [Keynote Abstract].

John H. Kastner

Browse the full SACMAT paper archive.