Current security gaps, for example "Meltdown" and "Spectre" have attracted worldwide attention, further underlining the importance of this issue. This threat is developing dynamically, in light of the fact that in the meantime, embedded and networked systems range from autonomous vehicles and medical technology to smart home and critical infrastructure. These systems and their interactions are complex, which is why the design of secure and correct systems comprises a crucial building block of future applications.
For this reason, the LIT Secure and Correct Systems Lab at Johannes Kepler University Linz (JKU) offers a cross-institutional and interdisciplinary research platform encompassing a total of nine institutes. The underlying objective is to bundle the competencies and expertise of various disciplines, leverage synergies and potential and be at the disposal of industry as a central contact point for collaboration.
The issue of security is already relevant at the very beginning. The deployed products (from the mobile phone to hard drive) should be conceived in an integrated manner, from the initial specifications to final realisation, from the beginning of use to their decommissioning.