LECTURERS

1. 1. Jamie Hayes (Google DeepMind):

Lessons learned from assessing agentic security and memorization

1. 2. Ralf Kuesters (Stuttgart Univ.): 

Modeling the Web to Secure the Web: Formal Security Analysis of Protocol Standards

1. 3. María Naya-Plasencia (INRIA Paris):

      • Symmetric cryptography and the importance of cryptanalysis (differential attacks and MITM)

      • Resistance of symmetric primitives in a quantum world.

   4. Kai Rannenberg (Goethe Univ.)

   5. Peter Y. A. Ryan (Univ. of Luxembourg):

• Towards Fully Verified Elections

• On Secrecy and Symmetry (Du temps perdu a la recherche)

1. 6. Michael Schwarz (CISPA Helmholtz Center for Information Security)