Quantitative Aspects of Security

This seminar will cover quantitative aspects of information security. For each topic, we will provide a recent scientific article.

Registration Central registration for Computer Science seminars.

Date Blockseminar in January/February. The precise date will be decided soon.

Format S2

Classification Applied Informatics/Theoretical Informatics

Language English

Organizers Prof. Dr. Ir. Joost-Pieter Katoen, Prof. Dr.-Ing. Heiko Mantel


  • interest in the area of Information Security
  • motivation to thoroughly read scientific articles
  • one of the following courses:
    • Formal Methods for Information Security (SS'06)
    • Model Checking (WS'05/06)
    • Probabilistic Models for Concurrency (SS'06)

Literature Will be announced at the introductory meeting.

Further information Send an e-mail to katoen at cs.rwth-aachen.de or to mantel at cs.rwth-aachen.de

Internal Section (password protected)

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