Person. Clement Pit-Claudel Assistant Professor · École Polytechnique Fédérale de Lausanne · pit-claudel.fr/clement · 0000-0002-1900-3901 Papers Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025 DOI · pldb