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