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 representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.