Person. Sorawee Porncharoenwase Amazon · 0000-0003-3900-5602 PhDUniversity of Washington Papers Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025 DOI · pldb