MIT's Computer Systems Security (2024)

Summary

Links to notes etc. on future days are copies of materials from last year, to give you an idea of what the future will bring. We will update the notes as the course progresses. The year of publication for class readings are shown in parentheses. MondayTuesday WednesdayThursday Friday feb 5 First day of classes feb 6 LEC 1: Introduction, threat models (video) Preparation: Optionally read Modern Android exploit Assigned: Lab 1: Buffer overflows feb 7 feb 8 LEC 2: OS and VM isolation (video) Preparation: Read about OS and VM isolation (Question) feb 9 feb 12 feb 13 LEC 3: Software fault isolation (video) Preparation: Read about WebAssembly (Question) feb 14 feb 15 LEC 4: Trusted hardware (video) Preparation: Read BitLocker (2006), sections 1-2 (Question) feb 16 DUE: Lab 1 part 1 DUE: Lab 1 part 2 feb 19 Presidents day feb 20 Monday schedule feb 21 feb 22 LEC 5: CPU side-channels (video) Preparation: Read Transient Execution Attacks and Defenses (2019) (Question) Assigned: Lab 2: Privilege separation feb 23 DUE: Lab 1 all parts feb 26 feb 27 LEC 6: Privilege separation (video) Preparation: Read OpenSSH (2003) (Question) feb 28 feb 29 LEC 7: Data center infrastructure (video) Preparation: Read Google Infrastructure Security (2023) and BeyondProd (2023) (Question) mar 1 DUE: Lab 2 part 1 mar 4 mar 5 LEC 8: Mobile phone security (video) Preparation: Read about iOS Security (Question) mar 6 mar 7 LEC 9: Web security model (video) Preparation: Read about web security (2022) (Question) mar 8 DUE: Lab 2 parts 2+3 ADD DATE mar 11 mar 12 LEC 10: Buffer overflow defenses (video) Preparation: Read Baggy bounds checking (2009) + errata (Question) Assigned: Lab 3: Symbolic execution mar 13 mar 14 LEC 11: Symbolic execution (video) Preparation: Read EXE: Automatically generating inputs of death (2006) (Question) mar 15 DUE: Lab 2 all parts mar 18 mar 19 LEC 12: Verification (video) Preparation: Read HACL* (2017) (Question) mar 20 mar 21 Quiz 1: Covers lectures 1-12 and labs 1-2 Refer...