Program synthesis in administration of higher-order permissions.

Glenn Bruns, Michael Huth, Kumar Avijit

Browse the full SACMAT paper archive.