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. 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.

Teaching

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.

News

06.08.16

New PostDoc Ximeng Li

We welcome Ximeng Li , who joined us on August 1, as a new PostDoc in our group!

01.08.16

Workshop on RIFL in Karlsruhe

On August 1-3, three researchers from MAIS are taking part in a workshop on developing a consolidated library of examples for RIFL, the RS3 Information-Flow Specification Language, at Karlsruhe Institute of Technology.

26.07.16

RS3 Posters at USENIX Security 2016

Posters and demonstrators of the three reference scenarios of the DFG priority program Reliably Secure Software Systems (RS3) that is coordinated by Prof. Dr. Heiko Mantel will be presented at the USENIX Security Symposium 2016 in Austin on August 11.

07.07.16

Slides from the RS3 Practitioner Event online

Selected slides and pictures from the Practitioner Event of the priority program RS3 coordinated by Prof. Heiko Mantel are now online on the webpage of the event. The RS3 Practitioner Event happened on June 7 and 8 at TU Darmstadt as a platform for exchange between security experts from industry and academia. It featured talks on various current topics in IT security.

24.06.16

MAIS Course is Best Lecture in Winter Term 2015/16

The MAIS lecture "Side-Channel Analysis of Software" taught by Dr. Artem Starostin was elected by students as the best Computer Science lecture in the winter term 2015/2016 and received the award "Beste Lehre" (best lecture) from the student union. The lecture covered methods for detection, exploitation, assessment, and mitigation of side channels in software. These topics are part of current research in the collaborative research center CROSSING in which the MAIS group is participating.

MAIS logo

Open Positions

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

Find out more.

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

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