Verification-Guided Development of the Cedar Authorization Language

Date: May, 2023

Presentation at HCSS 2023, Annapolis, MD