Kastner, John
- Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
2024/03/07 by Joseph W. Cutler, Cutler, Joseph W., Craig Disselkoen +28 · 3 voices · 7 citations
Computer Science · Social Sciences · #Access Control and Trust #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- How We Built Cedar: A Verification-Guided Approach
2024/07/01 by Craig Disselkoen, Aaron Eline, Disselkoen, Craig +22 · 1 citation
Engineering · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Tunneling and Rock Mechanics