Here are some resources for our various recitation activities throughout the semester.
Capture the flag competition to solve some beginner/advanced C and C++ language problems.
Hands-on walkthrough demonstrating different cache attacks on a microarchitectural attack simulator.
Capture the flag competition to exploit an insecure
memcmp implementation on a real microcontroller to leak a secret.
Review the RISC-V architecture and introduce the privileged ISA specification. Hands on RISC-V assembly and memory corruption (buffer overflow) exercises.
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.