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 view is what underlies the research of the Secure Systems Group, which is part of the Secure and Correct Systems Lab at the Linz Institute of Technology (LIT).

We have more than 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, from independent ongoing evaluation of security systems 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 many more.

Current research aeras 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