Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization

Published in Proceedings of the ACM on Programming Languages (OOPSLA), 2024

Citation: Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Lef Ioannidis, John Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells. "Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization." Proceedings of the ACM on Programming Languages (OOPSLA). 2024.