Person. Jaco Geldenhuys Associate Professor · Stellenbosch University · cs.sun.ac.za/~jaco · 0000-0002-5636-6656 Papers Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025 DOI · pldb