Modeling and Analysis of Information Systems


The aim of our research is to make software-based systems more trustworthy (i.e. secure, safe, and correct) 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.

We coordinate the DFG priority program RS3 (Reliably Secure Software Systems) that is lead by Prof. Dr.-Ing. Heiko Mantel since 2010. This involves the organization of multiple events each year, most prominently the annual meeting and the staff meeting. Within RS3, our scientific focus is on driving forward research on information-flow security for concurrent programs, on a security-certifying app store for Android devices, and the security-requirement specification language RIFL. More details can be found in the RS3 section.

Starting from 2018, we will coordinate the LOEWE Research Focus SF4.0 (Software-Factory 4.0). The timely availability of high-quality software is a crucial success criterion for companies and economic areas. The drastic changes in industrial production (Industrie 4.0) and the electronic processing of information (Big Data) require the development of suitable software. The approach of SF4.0 is the targeted and automated adaptation of existing software to new requirements and altered technical infrastructures. This opens up the possibility to provide suitable software more quickly. More details can be found in the SF4.0 Section.

We are involved in further third-party funded research projects involving multiple principle investigators. Within the DFG collaborative research center CROSSING, we are developing techniques and tools for detecting, assessing, and mitigating timing-side channels in cryptographic implementations.  Within CRISP (and previously ECSPRIDE), we are creating solutions for security by design. Within CASED, we focused on dynamic approaches to usage control based on the concept of service automata. More details can be found in the Projects section.

Parts of our research are funded by the BMBF (German Federal Ministry of Education and Research), by the DFG (German Research Foundation), by the EU (European Union), by the HMWK (Hessen State Ministry for Higher Education, Research and the Arts) within LOEWE (Landes-Offensive zur Entwicklung Wissenschaftlich-ökonomischer Exzellenz), and by industry.

We are the proud recipients of three best-paper awards in the last 5 years.


We are offering a portfolio of lectures, integrated courses, lab courses, and seminars. Find out more about our teaching in the winter term 2016/17 and summer term 2017.

If you are interested in writing a Master or Bachelor thesis with us, you can find more information in the Theses section.



Pictures of the RS3 Final Event online

Impressions from the final event of the DFG priority program Reliably Secure Software Systems (RS3) that was organized by Prof. Heiko Mantel and took place in Darmstadt on September 4-6 are now online.


New FPS publications

The following articles have been accepted for publication at FPS 2017 (the International Symposium on Foundations & Practice of Software).

  • "Bounding the cache-side-channel leakage of lattice-based signature schemes using program semantics" by Nina Bindel, Johannes Buchmann, Juliane Krämer, Heiko Mantel, Johannes Schickel, and Alexandra Weber
  • "Relationship-Based Access Control for Resharing in Decentralized Online Social Networks" by Richard Gay, Jinwei Hu, Heiko Mantel, and Sogol Mazaheri


RS3 Final Event in Darmstadt

On September 4-6, the final event of the DFG priority program Reliably Secure Software Systems (RS3) that has been coordinated since 2010 by Prof. Heiko Mantel, took place at Jagdschloss Kranichstein in Darmstadt. The program featured presentations of the results of all RS3 projects as well as the case studies in the joint application scenarios and a panel discussion on "Formal Methods in Information Security". The keynote speakers at the event were Lujo Bauer, Jorge Cuéllar, Philippa Gardner, Fabio Massacci, Carroll Morgan, Ravi Sandhu, Fred B. Schneider, and Tomasz Truderung.

Press release by TU Darmstadt
Press release by the Computer Science department


FoMSESS Annual Meeting at TU Darmstadt

On September 7, the 14th annual meeting of FoMSESS (the group of the German Informatics Society on "Formal Methods and Software Engineering for Secure Systems") was hosted by MAIS at TU Darmstadt.


New NordSec publication

The article "Towards Accelerated Usage Control based on Access Correlations" by Richard Gay, Jinwei Hu, Heiko Mantel, and Johannes Schickel has been accepted for publication at NordSec 2017 (the Nordic Conference on Secure IT Systems).

MAIS logo

Open Positions

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

We also offer a range of topics for thesis or HiWi projects.

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