Go to JKU Homepage
LIT Secure and Correct Systems Lab
What's that?

Institutes, schools, other departments, and programs create their own web content and menus.

To help you better navigate the site, see here where you are at the moment.

Secure Systems Group.

Security is not the state in which attacks are impossible, but a state in which the costs of attack outweigh the potential gains. This economic perspective underlies the research conducted by the Secure Systems Group, a part of the Secure and Correct Systems Lab at the Linz Institute of Technology (LIT).

We have over 15 years of experience in IT security, applied cryptography, IT risk management, security system design and evaluation, cryptographic mechanism prototyping, and more. We provide consulting services to industry, ranging from independent ongoing security systems evaluations to patent applications.

Today's information technology is increasingly complex and intertwined with the physical and cyber worlds, making security an interdisciplinary challenge that is subject to constant change. Consequently, the group's research covers a wide range of models and involves various disciplines, including artificial intelligence, network technology, simulation, data science, psychology, and much more.

Our current research areas include:

  • Model-based and Quantitative Security
  • Applied Cryptography and Quantum Cryptography
  • Security of Critical Infrastructures
  • Security- and Resource optimization using decision- and game theory
  • Artificial intelligence security and AI applications in security

LIT Secure and Correct Systems Lab

Secure Systems Group


Johannes Kepler University Linz
Altenberger Straße 69
4040 Linz


Open Innovation Center


+43 732 2468 9546

„Securing a computer system has traditionally been a battle of wits: the penetrator tries to find the holes, and the designer tries to close them.“
– Morrie Gasser, Author of “Building a Secure Computer System”
Secure Systems