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.

Details.

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.

Management

Univ.-Prof. Dr.
Daniel Große

function

room

phone

e-mail

Head

S40318

+43 732 2468 4560

daniel.grosse@jku.at

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

Univ.-Prof. DI Dr.
Rene Mayrhofer
 

function

room

phone

e-mail

Head

S30230

+43 732 2468 4121

rene.mayrhofer@jku.at

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 Rene Mayrhofer ©Michael Riegler

A.Univ.-Prof. DI Dr.
Josef Küng
 

function

room

phone

e-mail

Head Graduate School

S30344/1

+43 732 2468 4182

josef.kueng@jku.at

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).

Photo Josef Küng Josef Küng ©Michael Riegler

Univ.-Prof. Priv.-Doz. DDI Dr.
Stefan Rass

room

phone

e-mail

OIC

+43 732 2468 9545

stefan.rass@jku.at

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 Stefan Rass ©JKU

Univ.-Prof. Dr.
Robert Wille
 

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.

Photo Robert Wille Robert Wille ©Michael Riegler

Faculty


 

Dr.
Dagmar Auer
 

room

phone

e-mail

OIC

+43 732 2468 9538

dagmar.auer@jku.at

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.

Photo Dagmar Auer Dagmar Auer ©Michael Riegler

Univ.-Prof. Dr. 
Armin Biere
 

function

room

phone

e-mail

Deputy Head

S30248

+43 732 2468 4541

armin.biere@jku.at

Since 2004 I chair 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.

Photo Armin Biere Armin Biere ©Michael Riegler

Prof. Dr.
Alexander Egyed
 

room

phone

e-mail

S30246/2

+43 732 2468 4382

alexander.egyed@jku.at

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.

Photo Alexander Egyed Alexander Egyed ©Michael Riegler

Dr.
Maksim Goman
 

room

phone

e-mail

OIC

+43 732 2468 9549

maksim.goman@jku.at, opens in new window

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 Maksim Goman ©JKU

Dr.
Jan Horacek
 

room

phone

e-mail

SP3 0231/2

+43 732 2468 4131

jan.horacek@ins.jku.at

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 Jan Horacek

Dr.
Atif Mashkoor
 

room

phone

e-mail

OIC

+43 732 2468 9531

atif.mashkoor@jku.at

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.

Photo Atif Mashkoor Atif Mashkoor ©Michael Riegler

Prof. Dr. Dr. h.c
Hanspeter Mössenböck
 

room

phone

e-mail

S30207

+43 732 2468 4340

hanspeter.moessenboeck@jku.at

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.

Photo Hanspeter Mössenböck Hanspeter Mössenböck ©Michael Riegler

Univ.-Prof. Dr.
Armando Rastelli
 

room

phone

e-mail

HP0020

+43 732 2468 9601

armando.rastelli@jku.at

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.

Photo Armando Rastelli Armando Rastelli ©Michael Riegler

A.Univ.-Prof. DI Dr.
Johannes Sametinger
 

room

phone

e-mail

S30072

+43 732 2468 4251

johannes.sametinger@jku.at

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.

Photo Johannes Sametinger Johannes Sametinger ©Michael Riegler

A.Univ.-Prof. Dr.
Josef Scharinger
 

room

phone

e-mail

S30439

+43 732 2468 4715

josef.scharinger@jku.at

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.

Photo Josef Scharinger Josef Scharinger ©Michael Riegler

Assoz.-Prof. Mag. DI Dr.
Michael Sonntag
 

room

phone

e-mail

S30235

+43 732 2468 4137

michael.sonntag@jku.at

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.

Photo Michael Sonntag Michael Sonntag ©Michael Riegler

Dr.
Michael Vierhauser

room

e-mail

OIC

michael.vierhauser@jku.at

 

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 Michael Vierhauser ©Michael Riegler

PhD students


 

Shahzad Ahmad
MSc
 

room

phone

e-mail

OIC

+43 732 2468 9548

shahzad.ahmad@jku.at

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 Shahzad Ahmad ©JKU

DI
Lukas Burgholzer
 

room

phone

e-mail

OIC

+43 732 2468 9536

lukas.burgholzer@jku.at

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.

Photo Lukas Burgholzer Lukas Burgholzer ©Michael Riegler

DI
Daniel Hofer
 

room

phone

e-mail

OIC

+43 732 2468 9532

daniel.hofer@jku.at

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.

Photo Daniel Hofer Daniel Hofer ©Michael Riegler

DI Barbara Lehner
 

room

phone

e-mail

OIC

+43 732 2468 9541

barbara.lehner@jku.at

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.

Photo Barbara Lehner Barbara Lehner ©Michael Riegler

DI Mario Lins
 

room

phone

e-mail

SP3 0229

+43 732 2468 4132

mario.lins@jku.at

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 Mario Lins

Omid Mir
MSc
 

room

phone

e-mail

OIC

+43 732 2468 9533

omid.mir@jku.at 

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.

Photo Omid Mir Omid Mir ©Michael Riegler

Aya Mohamed
MSc
 

room

phone

e-mail

OIC

+43 732 2468 9538

aya.mohamed@jku.at

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.

Photo Aya Mohamed Aya Mohamed ©Michael Riegler

DI
Daniel Pekarek
 

room

phone

e-mail

OIC

+43 732 2468 9534

daniel.pekarek@jku.at

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.

Photo Daniel Pekarek Daniel Pekarek ©Michael Riegler

Michael Riegler
MSc
 

room

phone

e-mail

OIC

+43 732 2468 9540

michael.riegler@jku.at

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.

Photo Michael Riegler Michael Riegler ©Michael Riegler

DI
Sarah Schneider

room

e-mail

OIC

sarah.schneider@jku.at

I am currently a PhD student in Computer Science, and wrote a masters thesis on SAT encodings for quantum computation in computational engineering. In my work, I aim to combine knowledge about satisfiability problems to develop algorithms especially aimed towards the development and use of quantum computers.

Sarah Schneider Profilbild Sarah Schneider

DI
Philipp Schwarz
 

room

phone

e-mail

OIC

+43 732 2468 9539

philipp.schwarz@jku.at

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.

Photo Philipp Schwarz Philipp Schwarz ©Michael Riegler

Hannes Sochor
MSc

room

phone

e-mail

OIC/SCCH

+43 50 343 851

hannes.sochor@scch.at

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

Sebastian Stock
MSc

room

phone

e-mail

OIC

+43 732 2468 9535

sebastian.stock@jku.at

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.

Profilbild Sebastian Stock Sebastian Stock

Office

Eva Maria Resch
MA
 

room

phone

e-mail

OIC

+43 732 2468 9530

eva.resch@jku.at

I am currently the secretary of the LIT Secure and Correct Systems Lab. My fields of responsibility include 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.

Eva Maria Resch Eva Maria Resch

Mag. Karin McQuillian

room

phone

e-mail

OIC

+43 732 2468 9546

karin.mcquillian@jku.at

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. Before working at the LIT, I worked in the medical device industry.

Avatar, Icon

Andrei Naddour
BSc.

room

phone

e-mail

OIC

+43 732 2468 9547

andrei.naddour@jku.at

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 Andrei Naddour

Doris Nikolaus

room

phone

e-mail

S30407

+43 732 2468 4730

doris.nikolaus@jku.at

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.

Photo Doris Nikolaus Doris Nikolaus ©Michael Riegler

Alumni

Dr.
Gabriela Michelon

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.

Photo Gabriela Michelon Gabriela Michelon ©Michael Riegler

Dr.
Sibylle Möhle-Rotondi
 

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.

Photo Sibylle Möhle-Rotondi Sibylle Möhle-Rotondi ©Michael Riegler

Dr.
Daniel Huber

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.

Photo Daniel Huber Daniel Huber ©Michael Riegler

Dr.
Christoph Mayr-Dorn
 

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.

Photo Christoph Mayr-Dorn Christoph Mayr-Dorn

Anja Mayr
MA
 

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.

Photo Anja Mayr Anja Mayr ©Michael Riegler