Courses

Courses taught by CISAT faculty at IT University of Copenhagen.

Master courses

Courses in ITU's MSc programmes.

AI Security

This MSc course examines the security of AI systems: the principles, practices and policies for building and deploying machine-learning-based systems that withstand attack.

Alessandro Bruni

Cryptographic Computation and Blockchain

This MSc course introduces techniques for designing and analysing cryptographic protocols, with a focus on privacy-preserving computation and blockchain protocols.

Bernardo David

Cryptography

This MSc course introduces the foundations of modern cryptography: how security is defined, how constructions are proved secure, and how cryptographic tools are used in practice.

Bernardo David · Carsten Schürmann · Rahul Bangalore Satish

Ethical Hacking

An applied MSc course on penetration testing, software analysis and exploitation, and the ethics and legality of hacking and responsible disclosure.

Rosario Giustolisi

Language-Based Security

Learn how to analyse software systems to ensure they meet security policies under explicit trust assumptions, using techniques from programming languages.

Carsten Schürmann · Markus Krabbe Larsen

Program Verification

This hands-on MSc course teaches you how to prove that programs are correct, using industrial-grade verification tools.

Jesper Bengtson · Willard Rafnsson

Threat-informed Security

This MSc course teaches how to analyse the security of IT systems starting from realistic adversaries and their behaviour, and to use that analysis to prioritise defences.

Oksana Kulyk