Person. Michael Hicks Professor · University of Pennsylvania · mhicks.me · 0000-0002-2759-9223 PostdocsLeonidas Lampropoulos, Michael Coblenz Papers Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025 DOI · pldb