Person. Hira Taqdees Syeda The University of Melbourne · 0000-0002-4923-3783 Papers Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025 DOI · pldb