Person. Serdar Tasiran Principal Applied Scientist · Amazon · amazon.science/author/serdar-tasiran Papers Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025 DOI · pldb