Person. Giles Reger Lecturer · University of Manchester · 0000-0001-6353-952X Papers Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025 DOI · pldb