Single-Course English 7.5 ECTS

Logic for Security

Overall Course Objectives

The students should be able to apply the security formalisms introduced, and to apply the relevant tools and techniques with the aim of solving related problems.

Learning Objectives

  • explain the basic concepts introduced in the course and explain the role of logic for security in concrete settings;
  • apply advanced tools for modeling and analyzing protocols;
  • design and motivate a series of experiments for analysing security properties;
  • analyze and interpret the results obtained from advanced analysis tools;
  • describe the ideas of methods for automated security tools and apply them to small examples;
  • identify strengths and weaknesses of different methods;
  • given a formal description of a policy, explain its meaning and determine if a given program satisfies the policy;
  • formally specify the privacy and accountability goals of a distributed system
  • analyze the use of advanced cryptographic primitives (like zero knowledge) in a system
  • determine the applicability of compositional reasoning for security;
  • communicate the results in a clear and precise manner, using a standard format for technical reports.

Course Content

The course covers security protocols, their modeling and analysis, including techniques and tools that can be used to either detect confidentiality and authentication errors or to guarantee that no such errors can occur. The course also covers techniques for Information Flow, including Access Control and low-level support for security.

Recommended prerequisites

General knowledge on programming languages (syntax and semantics).

Teaching Method

Lectures, practical exercises, and theoretical exercises.


See course in the course database.





13 weeks




DTU Lyngby Campus

Course code 02244
Course type Candidate
Semester start Week 5
Semester end Week 19
Days Mon 13-17

11.250,00 DKK