TDDC90 Software Security (6 ECTS)
Literature - Mandatory
The literature for this course is a collection of papers. Some papers may be accessible only via the university library's website. All papers listed below and the lecture notes are manadory reading for the exam. There is also a separate list of additional material to give you a deeper understanding of the topics (not required for the exam).
Lecture 1: Introduction
|K. M. Goertzel. Introduction to software security|
|D. Wheeler. Secure Programmer: Developing Secure Programs|
Lectures 2 and 3: Vulnerabilities, exploits and prevention
We are mainly concerned with the principles. Note that some of the required papers may cover attacks on protection mechanisms. You will be expected to understand both the principles of the protection mechanisms and the principles of the attack.
For the following CWE definitions of vulnerabilities, read and understand the Description, code examples, and Potential Mitigations for the Implementation phase. (Note that “mitigations” is used here with a different, broader meaning than in the lectures.)
Lecture 4: Secure software development and secure design
Lecture 5: Software engineering reviews
There is no mandatory reading for this lecture, except for the slides, but we recommend that you read the additional material on code inspections before this lecture.
Lecture 6 and 7: Static analysis
There is no mandatory reading for these lectures, except for the slides.
Lecture 8: Web security
Lecture 9: Accreditation
There is no mandatory material, except the slides, for the guest lecture on common criteria (lecture 9), but we recommend that you look at the additional material for this topic.
Lecture 10: Security testing
Some of the papers in this section describe specific tools. These tools are representative of a class of approaches to static or dynamic analysis. You will be expected to understand the principles and ideas behind the tools, but you are not required to remember details about individual tools.
|P. Oehlert. Violating assumptions with fuzz testing. IEEE Security & Privacy, 2005.|
|P. Godefroid, M. Y. Levin, and D. Molnar. SAGE: Whitebox Fuzzing for Security Testing. ACM. Queue 10, 1. 2012.|
Page responsible: Nahid Shahmehri
Last updated: 2014-11-15