Covers side-channel analysis of isogeny-based key encapsulation mechanisms and hash-based digital signatures, focusing on vulnerabilities and security measures in cryptographic systems.
Explores the EPFL Robot Competition, where students build a robot to clean rooms and retrieve bottles, gaining valuable hands-on experience and preparing for future engineering roles.
Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.
