-
High-Assurance Post-Quantum Key Exchange
This thesis studies how to build these new methods not only to be fast, but also to come with strong evidence that they are implemented correctly and securely.
-
From Design to Side-Channel Analysis of Symmetric Primitives
The PhD defence of P. Amiri Eliasi is on 19 October 2026 at 04:30 pm.
-
Evaluating and Engineering Masking Security: Random Probing Tools and Deterministic Gadgets
The PhD defence of V. Jahandideh Khajeh is on 4 November 2026 at 02:30 pm.
-
Computing Science Day: From core to society!
Join us for the Computing Science Day, where you’ll explore interesting demonstrations, participate in thought-provoking puzzles, and engage in a variety of experiments.