In recent years, security properties of IT systems have evolved from elitist features of highly specialized systems to important natural features in almost all application areas of IT systems. It appears today as a truism that almost all areas of public life are massively disrupted if IT systems are not reliable. Vital sectors of our society - energy, water, traffic management, financial management, production, administration and research are highly dependent on the security and reliability of our computer systems.

Security and reliability of IT systems are our research areas. We believe that in response to the amount and complexity of today’s security requirements new design methods and implementation paradigms are required, and made this the topic of our work.