Logic for Security

• 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.

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.

General knowledge on programming languages (syntax and semantics).

Lectures, practical exercises, and theoretical exercises.