| Skriv ut |  | Lukk vindu |
Høst 2024
INF-3310 Advanced Computer Security - 10 stp
The course is administrated by
Institutt for informatikk
Type of course
The course can be taken as a singular master's level course. The course is given every autumn semester.
Course overlap
INF-8310 Advanced Computer Security 8 ects
Course contents
This course teaches advanced principles, algorithms, and protocols in computer security. Topics include mandatory access-control systems, information-flow control, side-channel vulnerabilities, provenance analysis, fuzz testing and verification tools.
Admission requirements
Admission requirements: Higher Education Entrance Requirement + Bachelor's degree in Computer Science or similar education. The Bachelor degree must contain a specialization in Computer Science worth the equivalent of not less than 80 ECTS credits. Application code: 9371 - Singular courses at master's level
Objective of the course
Knowledge - The candidate has knowledge of
- mandatory access control and information flow systems (BellLaPadula);
- side-channel attacks (e.g., Spectre attck);
- provenance analyses at different software abstraction layers;
- the functionality of fuzz testing and verification tools (e.g., Dafny).
Skills - The candidate can
- reason about how information flows within a computer system;
- use information flow control tools;
- identify and prevent side channel vulnerabilities;
- apply provenance analysis; and
- use fuzz testing and verification tools to increase assurance of code correctness.
General competence - The candidate can
- develop and extend own competence and expertise;
- participate actively in professional discussions (oral or written);
- read and analyze scientific articles;
- write scientific and technical reports;
- develop and test robust and secure software systems; and
- apply security-by-design principles
Language of instruction
The language of instruction is English, and the syllabus material is in English. The examinations will also be in English and must be answered in English.
Teaching methods
Lectures: 30 hours, Colloquium: 30 hours, Laboratory: 30 hours.