Language-Based Security
About
The course covers the principles of programming language-based techniques for computer security.
The goal is;
1) Understanding such applicaiton-level attacks as race conditions, buffer overruns, covert channels, and code injection.
2)
Mastering the principles behind such language-based protection
techniques as static analysis, program transformation, and reference
monitoring.
The dual perspective of attack vs. protection is threaded through the lectures, laboratory assignments, and projects.
Prerequisites and selection
Entry requirements
Successfully completed two year studies within the subject Computer Science or equivalent. Applicants must prove their knowledge of English: English 6/English B from Swedish Upper Secondary School or the equivalent level of an internationally recognized test, for example TOEFL, IELTS.
Selection
Selection is based upon the number of credits from previous university studies, maximum 285 credits