Wednesday, September 9
Welcome and Opening Remarks
Kumar Shukla (wolfSSL)
Implementing Merkle Tree Certificates in wolfSSL
Anastasis Kratsios (McMaster University)
Lecture 01 | Mathematical Foundations of AI
Neil MacVicar, Brinda Venkataramani, Matthew Koban (Canadian Centre for Cyber Security)
Mapping Cryptographic Dependencies for Post-Quantum Migration: A Network Analysis of strongSwan
Mac Martin, Alice Rolf, Aaron Tronsgard, Arkaprava Choudhury (Scotiabank)
Cryptographic Agility Framework for IAM / CIAM Platforms
Feodor Kogan, Leonardo Colò, Gagandeep Virk (Qorsa Labs)
Building a Cryptographic Bill of Materials Scanner & Generator
Thursday, September 10
Shuyang Shen (University of Toronto)
The determinant method and enumerative Galois theory
Anastasis Kratsios (McMaster University)
Lecture 02 | Mathematical Foundations of AI
Friday, September 11
Cihan Okay, Bilkent University
Geometry of Quantum Computational Advantage
Jake Hofgard, University of California, Berkeley
Operator Learning for Families of Finite-State Mean-Field Games
Spencer Unger (University of Toronto)
Another proof that Condensed Whitehead's problem has a positive answer

