INF-3310 | UiT

Type of course

The course can be taken as a singular master's level course. The course is given every autumn semester.

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

Course content

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.

Recommended prerequisites

INF-2310 Security in distributed systems

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

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 but can be answered either in English or a Scandinavian language.

Teaching methods

Lectures: 30 hours, Colloquium: 30 hours, Laboratory: 30 hours.

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

Examination:	Date:	Duration:	Grade scale:
School exam	11.12.2023 09:00	4 Hours	A–E, fail F
Coursework requirements: To take an examination, the student must have passed the following coursework requirements:
Written assignments and oral presentation(s)	Approved – not approved

Examination:

Date:

Duration:

Grade scale:

School exam

11.12.2023 09:00

4 Hours

A–E, fail F

Coursework requirements:

To take an examination, the student must have passed the following coursework requirements:

Written assignments and oral presentation(s)

Approved – not approved

UiT Exams homepage

More info about the coursework requirements

The coursework includes 4 written assignments and 1 oral presentation, individually graded approved / not approved.

Re-sit examination

It will not be given a re-sit exam for this course.

autumn 2023 INF-3310 Advanced Computer Security - 10 ECTS