Talks | Adrien Koutsos /talk/ Talks Source Themes Academic (https://sourcethemes.com/academic/)en-usThu, 26 Mar 2026 09:00:00 +0100 /images/icon_hu0b7a4cb9992c9ac0e91bd28ffd38dd00_9727_512x512_fill_lanczos_center_2.png Talks /talk/ Robust Logical Foundations for Mechanizing Post-Quantum Cryptography in Squirrel /talk/gt-mfs-pq-squirrel/ Thu, 26 Mar 2026 09:00:00 +0100 /talk/gt-mfs-pq-squirrel/ Robust Logical Foundations for Mechanizing Post-Quantum Cryptography in Squirrel /talk/svp-pq-tls-26/ Sun, 01 Feb 2026 15:00:00 +0100 /talk/svp-pq-tls-26/ Mechanizing and Automating Cryptographic Arguments /talk/protecs-24/ Sat, 25 May 2024 13:30:00 +0100 /talk/protecs-24/ Mechanized Proofs of Adversarial Complexity and Application to UC /talk/scot-seminar-23/ Fri, 15 Dec 2023 15:00:00 +0100 /talk/scot-seminar-23/ Verifying Cryptographic Protocols /talk/demi-heure-de-science-22/ Thu, 09 Nov 2023 11:00:00 +0100 /talk/demi-heure-de-science-22/ Cracking the Stateful Nut /talk/csf22-squirrel/ Tue, 09 Aug 2022 11:00:00 +0100 /talk/csf22-squirrel/ Mechanized Proofs of Adversarial Complexity and Application to Universal Composability /talk/gt-mfs22-ec-complexity/ Wed, 23 Mar 2022 11:00:00 +0100 /talk/gt-mfs22-ec-complexity/ Mechanized Proofs of Adversarial Complexity and Application to Universal Composability /talk/ccs21-ec-complexity/ Mon, 15 Nov 2021 11:00:00 +0100 /talk/ccs21-ec-complexity/ The 5G-AKA Authentication Protocol Privacy /talk/aka-edstic/ Thu, 28 Nov 2019 11:30:00 +0100 /talk/aka-edstic/ The 5G-AKA Authentication Protocol Privacy /talk/aka-inria/ Tue, 05 Nov 2019 14:00:00 +0100 /talk/aka-inria/ The Last Mile: High-Assurance and High-Speed Cryptographic Implementations /talk/jasmin-celtic/ Tue, 10 Sep 2019 10:00:00 +0100 /talk/jasmin-celtic/