Person. Dominik Wagner University of Regensburg · 0000-0001-7514-8446 Papers Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025 DOI · pldb