This is repository for lecture notes and relevant learning materials for Secure Software Engineering course that I take as part of Master Security in Security by Design (MSSD) in Singapore University of Techology and Design. The instructor of this module is Cyrille Jegourel.
Note: In this term, the instructor is ofsetting the week index with +1. E.g: week01 is considered as week02 by the instructor. However, I keep maintaining the note without ofset.
- Week 01: Secure Software Engineering Process
- Week 02: Common Code Vulnerabilities
- Week 03: Defensive Coding 1 C/C++
- Week 04: Defensive Coding 2 Java
- Week 05: Defensive Coding for Concurrency
- Week 06: Code Review and Static Analysis
- Week 07: Security Testing: Foundations
- Week 08: Security Testing: Penetration and Fuzzing(TBD)
- Week 09: Security Testing: Symbolic Execution(TBD)
- Week 10: Formal Verification: Software Model Checking
- Week 11: Formal Verification: Theorem Proving(TBD)