Covers generic programming in C++ through templates for classes and functions, showcasing examples and discussing specialization and separate compilation.
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 implementation of an Octagon Abstract Interpreter for C programs, covering abstract interpretation, octagonal constraints, closures, pointers, and the FrontC parser.
Explores the representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.