Modules

Module - Introduction to Software Security

Sep 13

Lecture: Course logistics: Lecture slides

Lecture: Weird machine: Lecture slides

Module - Common Attacks Vectors on Software Systems

Sep 20

Lecture: Memory corruption: Lecture slides

Sep 27

Lecture: Race condition: Lecture slides

Oct 04

Lecture: Attacks on smart contracts: Lecture slides

Module - Common Themes of Defense Mechanisms

Oct 18

Lecture: Compartmentalization / Sandboxing: Lecture slides

Oct 25

Lecture: Moving-target defense: Lecture slides

Nov 01

Lecture: Defensive sanity checking: Lecture slides

Module - Toolbox for Vulnerability Detection

Nov 08

Lecture: Fuzz testing: Lecture slides

Nov 15

Lecture: Declarative logic programming: Lecture slides

Nov 22

Lecture: Abstract interpretation: Lecture slides

Nov 29

Lecture: Symbolic execution: Lecture slides

Module - Conclusion

Dec 06: InteractiveFinal project presentation