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 offer the following courses:

Find out more about our teaching activities.



New ESORICS publication

The paper "Transforming Out Timing Leaks, More or Less" by Heiko Mantel and Artem Starostin has been accepted for publication at ESORICS 2015 (the European Symposium on Research in Computer Security).


New LOPSTR publication

The paper "Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis" by Heiko Mantel, Markus Müller-Olm, Matthias Perner, and Alexander Wenner has been accepted for publication at LOPSTR 2015 (the International Symposium on Logic Based Program Synthesis and Transformation).


New IJSSE publication

The article "An Empirical Bandwidth Analysis of Interrupt-Related Covert Channels" by Richard Gay, Heiko Mantel, and Henning Sudbrock has been accepted for publication in the International Journal of Secure Software Engineering (IJSSE).

MAIS logo

Open Positions

We currently have open positions for prospective Ph.D. students and PostDocs. Find out more.

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