Covers the basics of C programming, focusing on arrays and functions, including 1D and 2D arrays, string operations, dynamic memory allocation, and reading files.
Covers side-channel analysis of isogeny-based key encapsulation mechanisms and hash-based digital signatures, focusing on vulnerabilities and security measures in cryptographic systems.
Covers the principles and mechanisms of virtual memory in computer systems, focusing on isolation, efficiency, and the role of the Memory Management Unit.
Covers the concept of virtual memory and the isolation of processes through address spaces, discussing segmentation, paging, and memory implementation details.
Explores the implementation of an Octagon Abstract Interpreter for C programs, covering abstract interpretation, octagonal constraints, closures, pointers, and the FrontC parser.