Skip to main content Link Menu Expand (external link) Document Search Copy Copied


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.

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.

Table of contents