Person. Florian Rabe FAU Erlangen-Nürnberg · kwarc.info/frabe · 0000-0003-3040-3655 Papers Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025 DOI · pldb