Person. Jakob Rath UHV-Expert, Surface Science (XPS, SAMS, ToF-SIMS,..) · TU Wien · 0000-0002-7022-6668 Master’sUniversity of Vienna Papers Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025 DOI · pldb