Recitations
Here are some resources for our various recitation activities throughout the semester.
C/C++ CTF
Capture the flag competition to solve some beginner/advanced C and C++ language problems.
Cache Attack
Hands-on walkthrough demonstrating different cache attacks on a microarchitectural attack simulator.
Physical Attacks
Capture the flag competition to exploit an insecure memcmp implementation on a real microcontroller to leak a secret.
System Programming for RISC-V
Review the RISC-V architecture and introduce the privileged ISA specification. Hands on RISC-V assembly and memory corruption (buffer overflow) exercises.
Formal Verification
We will try out a powerful framework that can formally verify hardware modules behaving exactly as we expect. We will use it to find bugs in a tiny cpu.