Software Security

Software Security:

1) Software Security (Coursera)

2) Software Analysis & Testing (Udacity)

3) Model Checking (NPTEL)

4) Quantitative Model Checking (Coursera)

5) Quantitative Formal Modeling and Worst-Case Performance Analysis

6) Automated Reasoning: satisfiability (Coursera)

7) Automated Reasoning: Symbolic Model Checking (Coursera)

8) Queuing theory (EDX, available on Youtube)

9) Principles of Secure Coding (Coursera)

10) Identifying Security Vulnerabilities (Coursera)

11) Identifying Security Vulnerabilities in C/C++Programming (Coursera)

12) Exploiting and Securing Vulnerabilities in Java Applications (Coursera)