Advanced Computer Security
About the course
The course can be taken as a singular master's level course. The course is given every autumn semester.
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
Objectives 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
Prerequisites
Recommended prerequisites
INF-2310 Security in distributed systems
Credit reduction
If you pass the examination in this course, you will get an reduction in credits (as stated below), if you previously have passed the following courses:
- INF-8310 Advanced Computer Security 8 ects
Teaching methods
Language of instruction and examination
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.Information to incoming exchange students
This course is available for inbound exchange students.
This course is open for inbound exchange student who meets the admission requirements, including prerequisites. Please see the Admission requirements" and the "Prerequisite" sections for more information.
Do you have questions about this module? Please check the following website to contact the course coordinator for exchange students at the faculty: https://en.uit.no/education/art?p_document_id=510412.
Examination
To take an examination, the student must have passed the following coursework requirements
| Written assignments and oral presentation(s) | Approved – not approved |
Alt du trenger å vite om før, under og etter eksamen, oppmelding, fravær klage og vitnemål: UiT Exams homepage
