Development of Secure Software Systems
index.php
Main navigation |
Main content
Lecture slides
- September 8th, 2020: Course overview,
8up PDF
- September 10th, 2020: Introduction to memory safety vulnerabilities,
8up PDF
- September 15th, 2020: More memory safety vulnerabilities,
8up PDF,
overflow-eg.c,
bclpr.c
- September 17th, 2020: Auditing and threat modeling,
8up PDF
- September 22nd, 2020: Memory safety attacks,
8up PDF,
GDB slides 6up PDF
- September 24th, 2020: Memory safety defenses and counter-attacks,
8up PDF,
ROP exercise PDF
- September 29th, 2020: More threat modeling,
8up PDF
- October 1st, 2020: Unix access control,
8up PDF
- October 6th, 2020: More access control,
8up PDF
- October 8th, 2020: More OS topics,
8up PDF
- October 13th, 2020: OS: race conditions,
8up PDF
- October 15th, 2020: OS: code auditing and isolation,
8up PDF,
bclpr.c
- October 20th, 2020: Web security part 1,
8up PDF
- October 22nd, 2020: Web security part 2,
8up PDF
- October 27th, 2020: Cryptography part 1,
8up PDF
- October 29th, 2020: Cryptography part 2,
8up PDF
- November 3rd, 2020: Cryptography: public-key,
8up PDF
- November 5th, 2020: Network protocols,
8up PDF
- November 10th, 2020: More network protocols,
8up PDF
- November 12th, 2020: S protocols and crypto failures,
8up PDF
- November 17th, 2020: Software engineering and security,
8up PDF
- November 19th, 2020: Identity and authentication,
8up PDF
- November 24th, 2020: More identity and authentication,
8up PDF,
ROC curve SVG
- December 1st, 2020: Voting,
8up PDF
- December 3rd, 2020: More voting, anonymity, usability,
8up PDF
- December 8th, 2020: Usability and security.
8up PDF
- December 10th, 2020: Low-level defenses,
8up PDF
- December 15th, 2020: Final bonus topcs,
8up PDF