Person. Ruijie Fang Princeton University · tr5.org/~ruijie · 0000-0001-5348-5468 Papers Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025 DOI · pldb