Cited By
View all- Esterhuyse Cvan Binsbergen LLaemmel RPereira JMosses P(2024)Cooperative Specification via Composition ControlProceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3687997.3695635(2-15)Online publication date: 17-Oct-2024
- Disselkoen CEline AHe SHeadley KHicks MHietala KKastner JMamat AMcCutchen MRungta NShah BTorlak EWells Ad'Amorim M(2024)How We Built Cedar: A Verification-Guided ApproachCompanion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering10.1145/3663529.3663854(351-357)Online publication date: 10-Jul-2024
- Cutler JDisselkoen CEline AHe SHeadley KHicks MHietala KIoannidis EKastner JMamat AMcAdams DMcCutchen MRungta NTorlak EWells A(2024)Cedar: A New Language for Expressive, Fast, Safe, and Analyzable AuthorizationProceedings of the ACM on Programming Languages10.1145/36498358:OOPSLA1(670-697)Online publication date: 29-Apr-2024
- Show More Cited By