The security of IT systems – both in terms of operational security and against deliberate attacks – is essential in today's heavily connected societies. At the same time, the ever-increasing complexity of circuits and systems makes it increasingly difficult to guarantee the correctness of the resulting systems. These developments will become even more decisive for future fields of application.
The LIT Secure and Correct Systems Lab addresses these challenges by combining the expertise of several JKU institutes across different fields. The resulting synergies allow to not only concentrate on a single aspect, but to take the entire lifecycle of secure and correct IT systems into account – from specification to implementation, use and finally decommissioning. In addition to current problems, the focus is on the challenges of the coming years and decades.
More precisely, we address challenges that arise