Official course description, subject to change:
Preliminary info last published 23/04-20

Security 2

Course info
Language:
English
ECTS points:
7.5
Course code:
KSSECU21KU
Participants max:
30
Offered to guest students:
yes
Offered to exchange students:
-
Offered as a single subject:
yes
Price (single subject):
10625 DKK (incl. vat)
Programme
Level:
MSc. Master
Programme:
MSc in Computer Science
Staff
Course semester
Semester
Efterår 2021
Start
30 August 2021
End
31 December 2021
Exam
Exam type
ordinær
Internal/External
ekstern censur
Grade Scale
7-trinsskala
Exam Language
GB
Abstract
This course provides the necessary tools for analysing systems and security protocols.
Description

In security I, you learned about the adversarial environment and how difficult it is to secure IT systems. In security II, you learn about the foundations of cryptography and security protocols and ways to analyze their security.  You will learn how security properties are not compositional; that security is not absolute, that is, any "secure" system leaves residual assumptions, especially about trust.
Specifically, this course provides the theoretical and practical foundation for understanding and working the area of Cybersecurity: 

  • cryptography
  • security protocol design techniques
  • tool-based practical verification, e.g., using Proverif 
  • formal techniques in computational and symbolic models
  • security policies and properties, including IndCPA and IndCCA security 
  • case studies 



Formal prerequisites

Security I (7,5 ECTS), elective course on the MSc in Software Design

Discrete Mathematics (7,5 ECTS), mandatory course on the MSc in Software Design

Introduction to Programming (15 ECTS), mandatory course on the MSc in Software Design

Intended learning outcomes

After the course, the student should be able to:

  • Design and analyze cryptographic protocols for adversarial environments
  • Analyze basic cryptographic protocol designs in the computational model
  • Explain and apply proofs by reduction to prove the security of cryptographic constructions
  • Explain cryptanalysis and timing attacks
  • Analyze the properties of security protocols using tools
Ordinary exam
Exam type:
C: Submission of written work, External (7-point scale)
Exam variation:
C22: Submission of written work – Take home