Recitations
Here are some resources for our various recitation activities throughout the semester.
CTF of C Programming
Capture the flag competition to solve some beginner/advanced C and C++ language problems.
Guidance on Paper Discussion Sessions + Cache Review
The research paper (and slides) behind the Website Fingerprinting Lab, guidance on paper presentation in discussion sessions, and walking through the cache organization of our lab machine (Figure 1&2 in this paper).
CTF of Physical Attacks
Capture the flag competition to exploit an insecure memcmp implementation on a real microcontroller to leak a secret.
Binary Exploitation and RISC-V Warmup
Review the RISC-V architecture and introduce the privileged ISA specification. Hands on RISC-V assembly and memory corruption (buffer overflow) exercises.
Formal Verification Toolchain
Learn to use a hardware verification framework. Hands-on exercise to find bugs in a toy CPU.