Modules

Module - Introduction to Software Security

May 09: Lecture: Course logistics
May 16: Lecture: Memory corruption; Teaching TBD; Paper #1; Paper #2; Paper #3

Module - Toolbox for Program Analysis

May 30: Lecture: Declarative programming; Teaching TBD; Paper #1; Paper #2; Paper #3
Jun 06: Lecture: Abstract interpretation; Teaching TBD; Paper #1; Paper #2; Paper #3
Jun 13: Lecture: Symbolic execution; Teaching TBD; Paper #1; Paper #2; Paper #3

Module - Formal Program Reasoning

Jul 04: Lecture: Type systems; Teaching TBD; Paper #1; Paper #2; Paper #3
Jul 11: Lecture: Program logics; Teaching TBD; Paper #1; Paper #2; Paper #3
Jul 18: Lecture: Concurrency bugs; Teaching TBD; Paper #1; Paper #2; Paper #3

Module - Conclusion

Jul 25: InteractiveFinal project presentation