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.

We are involved in four 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 CASED, we are focusing on dynamic approaches to usage control based on the concept of service automata. Within EC-SPRIDE and CRISP, we are creating solutions for security by design. 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 Land Hessen 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. To find out more about our teaching in the summer term 2016, click here.

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



RS3 at the Royal Society

The DFG priority program Reliable Security Software Systems (RS3) was presented by its coordinator Prof. Heiko Mantel in two talks on April 4 and 7 at the Royal Society Scientific Meeting on "Verified Trustworthy Software Systems" in London.


RS3 at GI Sicherheit 2016

GI Sicherheit, the conference of the technical committee on security of the German Informatics Society, will have a dedicated session for the reference scenarios of RS3 on Wednesday, April 6. Furthermore, posters and demonstrators of the reference scenarios will be presented during the poster session of GI Sicherheit on Tuesday, April 5.


Guest: Toby Murray

Toby Murray from NICTA is visiting MAIS on March 3 and 4. He is giving the talk "Building Highly-Secure Systems at Reasonable Cost - Branching Out with Formal Verification" in a special session of the MAIS Graduate Seminar in room E302 on March 3 at 16:00.


Guest: Ximeng Li

Ximeng Li from Technical University of Denmark is visiting MAIS on February 15-18. He is giving the talk "Fine-grained Information Flow for Concurrent Computation" in the MAIS Graduate Seminar in room A213 on February 15 at 16:00.


Guest: Esfandiar Mohammadi

Esfandiar Mohammadi from Saarland University is visiting MAIS on January 19. He is giving the talk "CoSP: A Framework for Computational Soundness" in the MAIS Graduate Seminar in room E302.

MAIS logo

Open Positions

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

We are also offering a secretary position.

Find out more.

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