Person. Matthias Schlaipfer Applied Scientist · Amazon Web Services · 0000-0002-3664-6677 Papers Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025 DOI · pldb