Modeling and Analysis of Information Systems

Research

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.

The current research topics of MAIS are grouped under the following four research areas:

  • Information-Flow Security
  • Monitoring and Dynamic Enforcement
  • Side-Channel Analysis and Mitigation
  • Sound Re-Engineering and Parallelization

We coordinate the LOEWE Research Focus SF4.0 (Software-Factory 4.0) that started in January 2018. 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. 

From 2010 to 2017, we coordinated the DFG priority program RS3 (Reliably Secure Software Systems). This involves the organization of multiple events each year, most prominently the annual meeting and the staff meeting. Within RS3, our scientific focus was 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.

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 Athene, we are creating solutions for static and dynamic security analysis of software-based systems. 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.

More details can be found in the Research and Projects sections. You can access and read our publications here.

Teaching

We are offering a portfolio of lectures, integrated courses, lab courses, and seminars. Find out more about our teaching in the Teaching section.

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

News

30.04.20

SF 4.0 Staff Meeting 2020

We organized and participated in the Staff Meeting 2020 of the LOEWE-research-cluster Software-Factory 4.0. The meeting took place from 27.4.2020 to 29.4.2020 in our home offices.

07.04.20

Side-Channel Research featured in Hoch3

Our research on information-flow security and side-channel analysis has been featured in the "Hoch3 forschen" magazine. The article "A better poker face for computers" outlines our contributions to the implementation of the q­TESLA post-quantum signature scheme as part of the CROSSING project and further highlights from our research.

16.03.20

New SF 4.0 Project Manager Javier Maza Gutierrez

We welcome Javier Maza Gutiérrez as project manager of the LOEWE-research-cluster Software-Factory 4.0.

16.12.19

ISOLA special track accepted

Our special track "Automating Software Re-Engineering" has been accepted for ISOLA 2020. Prof. Dr. Heiko Mantel will be co-chair of the special track. The ISOLA conference will take place from 26.10. - 30.10. on Rhodes, Greece. See you there!

11.11.19

New ProTools publication

The paper "Designing Efficient Parallel Software via Compositional Performance Modeling" by Alexandru Calotoiu, Thomas Höhl, Heiko Mantel, Toni Nguyen and Felix Wolf was accepted at ProTools 2019.

MAIS logo

Open Positions

We 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