Person. K. Rustan M. Leino Senior Principal Engineer · Amazon Web Services Inc · 0000-0003-2872-8039 Papers Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025 DOI · pldb