The LIT Secure and Correct Systems Lab is a cross-institute, interdisciplinary research platform of the following JKU institutes to jointly push the domain of secure and correct systems.
function room phone | Head S40318 +43 732 2468 4560 |
|---|
I am full professor and head of the Institute for Complex Systems at JKU as well as the head of the LIT Secure and Correct Systems Lab. I work in the field of Electronic Design Automation (EDA). My research interests include (formal) verification, virtual prototyping, debugging, and synthesis. I have published 3 books and more than 140 research articles in premier international journals and conferences. I served in program committees of numerous conferences, including ASP-DAC, DAC, DATE, ICCAD, CODES+ISSS, FDL, and MEMOCODE. Moreover, I received best paper awards at FDL 2007, DVCon Europe 2018, ICCAD 2018 and FDL 2020.
Daniel Große
©JKU
function room phone | Head S30230 +43 732 2468 4121 |
|---|
I act as the head of the Institute for Networks and Security and co-lead of the LIT Secure and Correct Systems Lab. My main research interests are digital identities, usable secure systems, mobile security, and cryptographic network protocols. From 2017 to 2019, I acted as Director of Android Platform Security at Google headquarters and continue to work as advisor for Android security.
Rene Mayrhofer
©Michael Riegler
function room phone | Head Graduate School S30344/1 +43 732 2468 4182 |
|---|
I am an associate Professor at the Institute for Application-oriented Knowledge Processing. My research areas include Information Systems, Knowledge Processing Systems, and security aspects therein. Regularly I am teaching within these topics and can reference to many scientific publications and a lot of successful co-operations with partners from academics, industry and public administration. Additionally, I have been heavily involved in organizing scientific conference series such as DEXA (Database and Expert Systems Applications) and FDSE (Future Data and Security Engineering).
Josef Küng
©Michael Riegler
room phone | OIC +43 732 2468 9545 |
|---|
I am Professor for Secure Systems, and a mathematician and computer scientist by training. My research interests include, but are not limited to, decision theory and game-theory, with applications in system security, robotics security, as well as security of artificial intelligence, complexity theory, cryptography and data science for security. I contributed to roughly 200 papers and more than 20 research projects as of 2021, and was chair of the 2015 Central European Conference on Cryptography, the 8 th Conference on Decision and Game Theory for Security in 2017, as well as several workshops on security topics. I am a member of IEEE and ACM, and spent research visits in, Cyprus, Germany, Great Britain, Poland and the USA, and am part of the Secure and Correct Systems Lab since September 2021.
Stefan Rass
©JKU
room phone | OIC +43 732 2468 9538 |
|---|
I am a senior researcher with a PhD in Business Informatics - Software Engineering from the JKU and more than 25 years of research and development experience in software and data engineering. Currently I focus on knowledge-intensive business processes (KiBPs) in combination with graph data models. Graphs are promising for the high level of flexibility and adaptability needed for KiBPs, but pose special challenges concerning appropriate concepts for authorization and access control.
Dagmar Auer
©Michael Riegler
room phone | S30246/2 +43 732 2468 4382 |
|---|
I am a Full Professor and Chair at the Institute for Software Systems Engineering. I received my Doctorate degree from the University of Southern California, USA, was a Postdoc at the University College London, UK, and worked in industry for many years. I am most recognized for my work on software and systems modeling – particularly on variability, consistency, and traceability. I have published over 200 refereed scientific books, journals, and conferences with over 5000 citations to date. I was recognized as a Top 1% scholar in software engineering in Communications of the ACM, Springer Scientometrics, and Microsoft Academic Search. I was also named an IBM Research Faculty Fellow in recognition of my contributions to consistency checking, received a Recognition of Service Award from the ACM, Best Paper Awards from COMPSAC and WICSA, and an Outstanding Achievement Award from the USC. I served as program chair/steering committee member (ASE, FASE, MoDELS,…) and as editorial board member (TSE, SoSyM,…). I am a member of the IEEE, IEEE Computer Society, ACM, and ACM SigSoft.
Alexander Egyed
©Michael Riegler
room phone | OIC |
|---|
I am a Post-doc researcher at the LIT Secure and Correct Systems Lab. I hold a Master’s degree in computer science from TU Ilmenau and completed my PhD in Business Informatics at JKU Linz. My research interests include quantitative analysis of IT-related risk, IT risk and security management, risk analysis in projects, correct methods of decision-making support, practical uncertainty analysis.
Maksim Goman
©JKU
I'm a senior research scientist at LIT Secure and Correct Systems Lab and also at Software Competence Center Hagenberg GmbH. My research interests are rigorous methods and software engineering, and I've rich hands-on experience with modeling and analysis of safe and secure systems. I was one of the guest editors of the IEEE Software Magazine Jan-Feb 2018 issue on safety and security. I’m also the co-chair of the International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems (IWCFS). I hold a PhD from the University of Lorraine, France, and M.S. from the University of Umeå, Sweden in Computer Science. Additionally, I've studied Computational Linguistics at the Rovira i Virgili University, Spain.
Atif Mashkoor
©Michael Riegler
room phone | HP0020 +43 732 2468 9601 |
|---|
I am an Italian physicist and Professor for Semiconductor Physics at JKU, where I head the Semiconductor Physics Division and the Nanoscale Semiconductors group. Together with my group and external collaborators, I focus on the fabrication of semiconductor nanostructures via epitaxial methods, their characterization and physical understanding, the development of methods to precisely control their properties, their integration in photonic devices, and their use as sources of quantum light for applications in emerging quantum technologies.
Armando Rastelli
©Michael Riegler
room phone | S30072 +43 732 2468 4251 |
|---|
I am a Professor at the Johannes Kepler University Linz (JKU) at the Department of Business Informatics – Software Engineering. My research interests include various aspects of software engineering in general and software security in particular. I have spent several years at universities in the USA (Texas A&M University, Brown University, University of Arizona) and in Canada (University of Toronto, Université de Montréal). Besides the JKU, I have also worked in Germany at the University of Regensburg and with Siemens in Munich.
Johannes Sametinger
©Michael Riegler
room phone | S30439 +43 732 2468 4715 |
|---|
I am an Associate Professor at the Institute of Computational Perception at the Johannes Kepler University Linz, Austria. In my work, I have a focus on image processing, cryptography and biometric identification. These technologies allow me to develop methods for secure communication, authentication and identification.
Josef Scharinger
©Michael Riegler
room phone | OIC +43 732 2468 9548 |
|---|
I am a PhD student at the LIT Secure and Correct Systems Lab, with a Master degree in Communication and Information Systems and a Bachelor degree in Electronics engineering. My particular interests are in Cryptography, Network Security and Secure Communication. The reasons for my great desire to research, with a special interest in Cryptography, are numerous, including the fact that many industries and businesses are confronting security challenges, and that demand for Information Security will surge by the end of this decade. The need of the hour is to plunge into cryptography leveraging machine learning and AI to improve the current security features.
Shahzad Ahmad
©JKU
room phone | OIC +43 732 2468 9541 |
|---|
It is a fascinating challenge to navigate through the counterintuitive nature of quantum mechanics while finding connections for real-world applications. During my bachelor and master studies in physics, I learned methods and gained insights to tackle questions that may arise from this challenge. Now I am working as a PhD student in a research group in the field of semiconductor physics. Our research area is the fabrication of semiconductor nanostructures and devices for photonic quantum technologies. I focus on the optical characterization of these devices and utilizing them in various quantum optics experiments.
room phone | SP3 238 +43 732 2468 4394 |
|---|
I am a PhD student at the LIT Secure and Correct Systems Lab.
Edvin Herac
room phone | SP3 0229 +43 732 2468 4132 |
|---|
I completed my master studies in computer science at the Graz University of Technology with a focus on Information Security and Software Technology. After working for an international company for several years, I am now pursuing my PhD in the field of security at the JKU in Linz. My research interests include, but are not limited to, threat modeling, system security, digital identities as well as supply chain security, especially with focus on verifiable data structures without computationally intensive consensus mechanisms.
Mario Lins
room phone | OIC +43 732 2468 9538 |
|---|
I am currently a PhD student and research assistant in the field of Computer Science. With a master thesis on the integration of satellite data into a No-SQL database using a microservice architecture and a Bachelor in Embedded Systems, I now, work on security, especially access control, in the context of graph databases.
Aya Mohamed
©Michael Riegler
room phone | SP4 0321 +43 732 2468 4563 |
|---|
I am a PhD student at the LIT Secure and Correct Systems Lab. Prior to this, I earned my bachelor's degree in computer science, followed by a master's degree in computational engineering at JKU Linz in 2023. My research interests are ranging from hardware logic design to symbolic aritifical intelligence. More specifically, I am trying to establish more common ground between these areas.
Peter Pfeiffer
room phone | OIC +43 732 2468 4565 |
|---|
I am a PhD student at the LIT Secure and Correct Systems Lab. For 15 years I worked at Ginzinger electronic systems GmbH, an Austrian embedded systems design and electronics manufacturing company. There I led a small team and focused mainly on low-level firmware and operating systems for SoCs and microcontrollers, their development, integration and long-term maintenance. In 2021 I left Ginzinger to resume my studies. I finished my Master's degree in Computer Science in 2023 and started my PhD immediately afterwards. My main research interest is hardware/software co-simulation using virtual prototypes. I am also deeply interested in operating systems, hardware platforms and computer architectures, especially RISC-V.
Manfred Schlägl
room phone | OIC +43 732 2468 9539 |
|---|
I am a PhD student with a Master in Computer Science. My most recent work focuses on fingerprint orientation estimation - a problem in the field of biometry, more specifically on fingerprints. When it comes to finding solutions, I try to incorporate methods from the field of artificial intelligence such as neural networks.
Philipp Schwarz
©Michael Riegler
room phone | OIC +43 732 2468 9531 |
|---|
I am a Ph.D. student in the Business Informatics program at the LIT Secure and Correct Systems Lab. Prior to joining the JKU, I completed a bachelor's degree in Business Informatics at the University of Regensburg, Germany and a master's degree in Business Informatics at the JKU with a focus on Networks & Security and Software Engineering. In addition to my studies, I worked as a software developer in the IT finance industry and as a frontend developer at a marketing agency near Munich. During my master's degree, I conducted research on runtime monitoring for robotic systems, and my current research focuses on securing systems using security modes and digital twins.
Marco Stadler
room phone | OIC +43 732 2468 9535 |
|---|
I am a Ph.D. student in the area of formal methods and in a research project called IVOIRE. In the research project, we focus on introducing so-called 'Validations Obligations' for formal methods. I did my master thesis in Düsseldorf, Germany, focusing on formal methods and prototyped a mechanism to reuse traces through the state space of a model on refactorings of this model. My main interests are in formal methods but also in 'elegant' programming in various languages.
Sebastian Stock
room phone | OIC +43 732 2468 9530 |
I am the secretary of the LIT Secure and Correct Systems Lab since November 2023. My fields of responsibility included being an intermediary between the professors, students and clients, organizing the Lab’s events, hosting our guests, and taking care of our public presence.
Katrin Burger
room phone | OIC +43 732 2468 9546 |
|---|
I am the secretary of the Secure Systems Group. My fields of responsibility include providing administrative support for lectures, being an intermediary between professor and students and taking care of our public presence.
room phone | OIC +43 732 2468 9547 |
|---|
Well, I am Andrei, and I am a master student in computer science majoring in networks and security, and I really like it. I joined Secure Systems Group as an IT supporter, who never quits until he has restored a system. My goals at the end of the day are simple: Safety and Security. Similar to “writing is thinking”, I truly believe that “coding is thinking” as well, therefore my favorite quote is: “Talk is cheap. Show me the code.” ― Linus Torvalds
Andrei Naddour
From 2004 to 2021 I chaired the institute of Formal Models and Verification at JKU. My primary research interests are applied formal methods, with the focus on developing efficient SAT and SMT solvers. I am the author of 208 papers, serve on 5 editorial boards, organized 5 conferences and various other meetings, took part in 150 program committees, and received 89 medals (including 52 first prizes) in SAT, SMT and QBF competitions.
Armin Biere
©Michael Riegler
room phone | OIC +43 732 2468 9536 |
|---|
I am a PhD student with a Master degree in Mathematics and a Bachelor degree in Computer Science. In my work, I am combining my expertise from both domains to develop methods for the design of quantum computers. For this future technology, I develop proper data-structures and algorithms that allow me to tackle the immense complexity that has to be dealt with, when working with corresponding devices.
Lukas Burgholzer
©Michael Riegler
I studied Computer Science at JKU Linz where I have chosen Networks and Security as the main topic for my master program. In my master thesis, I worked on placing invisible watermarks into texts in web documents and implemented a prototype therefore. Additionally, I have rich experience in log file analytics for detecting security issues.
Daniel Hofer
©Michael Riegler
I am a Postdoc at the Institute for Networks and Security. I received my Doctorate degree from the University of Passau. My research interests include how to design solving methods for cryptanalysis and how to use them to break real-world cryptographic primitives (such as lightweight block ciphers or hash functions). Additionally, I am interested in side-channel attacks, privacy on smartphones and anomaly detection in cybersecurity. I have also some non-academic experience in network security and blue team operations.
Jan Horacek
At the LIT Secure and Correct Systems Lab I worked as a Postdoc with a PhD degree in physics. My research was focused on semiconductor quantum dots, nanostructures allowing for “on demand” generation of single photons and entangled photon-pairs. The aim of my work was to establish quantum dots as an entanglement resource for emerging quantum technologies such as quantum computers and quantum communication networks.
Daniel Huber
©Michael Riegler
I studied Physics in Linz. I did my bachelor and master thesis at the Institute for Semiconductor and Solid State Physics in the group of Armando Rastelli. After my master, I will start my PhD at the LIT Secure and Correct Systems Lab. Nowadays, secure communication is an important topic. Quantum physics offers possibilities to make communication secure. I am looking forward to joining the LIT Secure and Correct Systems Lab team and to contribute to the field of physics.
Barbara Lehner
©Michael Riegler
I was not only the secretary of the Lab, but also the intermediary between the professors, students and clients. Furthermore, I organized our events, hosted our guests and took care of our public presence. Before that, I studied Literature and Cultural Studies and I am also a singer.
Anja Mayr
©Michael Riegler
I'm a senior researcher at the Institute for Software Systems Engineering and worked at the LIT Secure and Correct Systems Lab from 2021-2022. My research interests include supporting software engineering processes of safety critical systems, especially automated quality assurance and traceability. My work also addresses developer coordination during change propagation as well as the study of flexible software architectures for cyber-physical production systems.I was a visiting researcher on a Marie Curie/Erwin Schrödinger co-funded fellowship at the University of California, Irvine from February 2011 to August 2012. I completed my PhD at TU Wien in the field of distributed systems and I hold a Master in Business Informatics also from TU Wien.
Christoph Mayr-Dorn
I am a software engineer and was a PhD student at the LIT Secure and Correct Systems Lab where I gradutated in November 2022 with my work on "Evolving System Families in Space and Time". My research interests during my studies were configurable systems and its variants as well as software product line and version control systems. My aim was to raise a systematic mechanism to reuse artifacts based on feature-oriented development to derive variants in a secure, correct and automatic way.
Gabriela Michelon
©Michael Riegler
I am a third-year PhD student at the Institute of Networks and Security and also LIT Secure and Correct Systems under the supervision of Prof. Rene Mayrhofer. I also received a Masters degree in information security and a Bachelor degree in computer science. My research spans various topics in cryptography and security with a focus on secure protocols: develops new cryptographic tools, zero-knowledge proofs, data privacy with a special focus in private authentication techniques, anonymous credentials (digital identity) and secure computations, blockchains, functional encryption.
Omid Mir
©Michael Riegler
At the LIT Secure and Correct Systems Lab I was a PhD student with a diploma in Computer Science and graduated in July 2022. In my research, I focused mainly on exact propositional model counting with an emphasis on formal methods. I devised calculi for propositional model counting and related topics and showed their correctness by means of formal proofs and their evaluation in practice. I am particularly interested in applications of model counting and related techniques in a wide range of fields comprising hardware and software verification, cryptography, model-based diagnosis, and product configuration as well as probabilistic reasoning and Bayesian networks, which are adopted in medical diagnosis and planning.
Sibylle Möhle-Rotondi
©Michael Riegler
I am a full professor of Computer Science and the head of the Institute for System Software at JKU. My research interests are in programming languages, compilers and virtual machines. In a long-standing collaboration with Oracle Labs we are working on techniques for the dynamic optimization of programs in JIT compilers using aggressive feedback-directed optimizations. Further research areas are static and dynamic program analyses, application performance monitoring, software error analytics and secure code, as well as domain-specific languages. I am the author of several textbooks on Java, C#, .NET and compiler technology.
Hanspeter Mössenböck
©Michael Riegler
I work as a secretary at the Institute of Integrated Circuits at the JKU. My area of responsibility is the administration of the institute and its departments. Together with Anja Hoffmann I also manage the financial matters of the LIT Lab.
Doris Nikolaus
©Michael Riegler
I am a PhD student with a Master degree in Computer Science. The focus of my work is on compiler technology to foster secure code, to analyze program anomalies, and to detect vulnerabilities. For that, I developed an x86 interpreter in which I am trying to do online analyses and to record the executed instructions to analyze them offline. The interpreted code is JIT-compiled to efficient machine code.
Daniel Pekarek
©Michael Riegler
I was the secretary of the LIT Secure and Correct Systems Lab in 2021-23. My fields of responsibility included being an intermediary between the professors, students and clients, organizing the Lab’s events, hosting our guests, and taking care of our public presence. Before working at the LIT, I completed an MA degree in Literary and Cultural Studies at the Paris Lodron University Salzburg.
Eva Maria Resch
I am a PhD student at the LIT Secure and Correct Systems Lab. After finishing my Master in Business Informatics with a focus on security engineering and management, I worked five years for the company ENGEL, an Austrian manufacturer of plastic processing machines. My research interests include software security of cyber-physical systems like medical devices or industrial systems. Further, I am interested in methods and tools to defend devices even at a time when they had already been hacked.
Michael Riegler
©Michael Riegler
I was a PhD student in Computer Science at the LIT Secure and Correct Systems Lab. Before that, I wrote a masters thesis on SAT encodings for quantum computation in computational engineering. In my work, I aimed to combine knowledge about satisfiability problems to develop algorithms especially aimed towards the development and use of quantum computers.
Sarah Schneider
I am a PhD student with a Master in IT-Security from the University of Applied Sciences Hagenberg. I am working as a Researcher in Secure Software Analytics at the Software Competence Center Hagenberg. My research interests include Grammar-based Fuzzing where I try to include Grammar Mining and Program Analysis methods.
Hannes Sochor
©Michael Riegler
Mag. Dipl.-Ing. Dr. Michael Sonntag is Associate Professor at the Johannes Kepler University Linz at the Institute for Networks and Security. He studied both Computer Science and Law and is researching and teaching in the areas of privacy, web security, computer forensics, and IT law. Besides the universities Linz and Graz he regularly teaches at the ELTE in Budapest and the University of Economics in Prague.
Michael Sonntag
©Michael Riegler
I'm a senior researcher at the LIT Secure and Correct Systems Lab. I work in the field of Software Engineering and my research interests include Requirements Engineering, Safety-Critical Systems, and Traceability. In my work, I focus on providing runtime monitoring support for Cyber-Physical Systems, and Safety Assurance. In 2017 I was awarded an Erwin Schrödinger fellowship and was a visiting researcher at the University of Notre Dame, in the United States, from 2017 to 2019. I completed my PhD at the Johannes Kepler University in 2016 in the field of Software Engineering.
Michael Vierhauser ©Michael Riegler
I was the head of the LIT Secure and Correct Systems Lab as well as the Institute for Integrated Circuits. My expertise is in the development of design technologies for various application areas – with a particular focus on the design, verification, and test of circuits and systems. I consider conventional as well as emerging computing technologies such as quantum computing, reversible circuits, or microfluidic biochips.
Robert Wille
©Michael Riegler
Johannes Kepler University Linz
Altenberger Straße 69
4040 Linz, Austria
Go to JKU Homepage
