Modeling and Analysis of Information Systems


The aim of our research is to make software-based systems more trustworthy (i.e. correct, safe, and secure) than they are today. As software engineering is a complex and error-prone task, we employ formal methods for reasoning about information systems and critical system properties. We investigate software systems on the level of code (source code and machine code) as well as on the level of more abstract system specifications. This allows us to provide support for different stages of software development. More details can be found in the Research and Projects sections.

Parts of our research are funded by the Deutsche Forschungsgemeinschaft (DFG), by the European Union (EU), and, within the "Landes-Offensive zur Entwicklung Wissenschaftlich-ökonomischer Exzellenz (LOEWE)", by the Land Hessen.


In summer term 2015 we will offer the following courses:

In winter term 2014/15 we offer the following courses:

Find out more about our teaching activities.



New IFIP SEC publication

The paper "Enforcing Usage Constraints on Credentials for Web Applications" by Jinwei Hu, Heiko Mantel, and Sebastian Ruhleder was accepted at IFIP SEC 2015 (International Information Security and Privacy Conference).


RS3 Staff Meeting 2015

From February 23 to 25, the 9th Staff Meeting of the DFG priority program „Reliably Secure Software Systems“ (RS3), coordinated by Prof. Heiko Mantel, will take place at Freudenstadt. Researchers from all over Germany will meet to work jointly on advancing the techniques and tools they have developed so far in RS3 with the goal of making large software systems provably secure.


Prof. Mantel at FOSAD 2015

Prof. Dr. Heiko Mantel will give lectures at the 15th International School on Foundations of Security Analysis and Design in Bertinoro, Italy (31 August - 5 September 2015).

MAIS logo

Open Positions

We currently have open Ph.D. positions in our group. Find out more.

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