Seminar: Computer Security Foundations

Form: Seminar - 3 CP (2 SWS)
Organizer: Prof. Dr.-Ing. Heiko Mantel
Dates: Block seminar on 1 or 2 days,
tentative dates: Thursday, 26.01.2017 and Friday, 27.01.2017
(please reserve both days, the exact schedule will be determined depending on the actual number of participants)
Language: English
Registration: via TUCaN, course id 20-00-0925-se
Max. participants: 20
Literature: will be announced during the preparation meeting
Preparation Meeting: Tuesday, 25.10.2016, 16:30-18:00 in S202|E302
(joint meeting for seminars at MAIS)


  • 11.10.2016 (Important): The introductory meeting for all seminars offered at MAIS was moved to Tuesday, 25.10.2016, 16:30-18:00 in E302. The introductory meeting for all labs offered at MAIS is still Friday 21.10.2016, 13:30-15:10 in E302.

Course Website

The moodle page can be found under link.


In this seminar, recent developments on the formal foundations of computer security will be presented and discussed. The seminar will be based on recent research articles covering selected foundational aspects of computer security. Each article will be presented by one participant of the seminar and will then be discussed intensely by the entire group of participants.

Formal foundations of computer security are necessary to clarify desirable security guarantees and possible security threats. For instance, formal security models can be used to capture security requirements precisely and can then serve as a reliable basis for verifying whether these requirements are met. Formal foundations of security can also serve as a basis for establishing security by design, including a precise definition of security requirements, a component-based development of secure systems, and the stepwise refinement of high-level system specifications to more-detailed specifications, ultimately to secure program code.

Exemplary topics include:
  • composition, abstraction and refinement in computer security,
  • information-flow security and information-flow control,
  • language-based security,
  • security models and properties,
  • secure usage and usage control,
  • quantitative security, and
  • verifiable security.

Learning Objectives

After successfully participating in this course, students will be able to discuss selected developments in computer security foundations. Furthermore, students will have improved their skills in reading and understanding scientific articles, in presenting scientific results, and in discussing as well as comparing formal approaches of computer security and their implementation.


Knowledge of Computer Science equivalent to the first four Semesters in the Computer Science Bachelor program.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang