Akin Ünal ISTA Program Visits Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation, Summer 2025, Visiting Graduate Student program Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation visiting July 14 – Aug. 13, 2025