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.

News & Events.

29.02.2024: Case of apparent identity theft: there have been email invitations sent out by the organizers of the "2nd Global Experts Conference on Robotics and Artificial Intelligence (GECRAl-24)" (https://mscholarconferences.com/GECRAI/52/home.html) on the pretended behalf of Stefan Rass. He has at no time consented to the use of his name for invitations or other advertising measures, and firmly distances himself from this (predatory) event. Official requests to remove his picture and name from the conference website have been submitted (pending).

05-09/06/2023: Lucas Klemmer presents our work on A DSL for visualizing pipelines, opens an external URL in a new window: A RISC-V case study at the RISC-V Summit Europe 2023

05/06/2023: Stefan Rass gives the invited talk Security Research: A personal look back and forth at 0xA Verein.

02/06/2023: Sebastian Stock presented the paper Validation by Abstraction and Refinement at the ABZ Conference, Nancy, France. 

30/05/2023: Sebastian Stock presented the paper Validation Driven Development at the IVOIRE, opens an external URL in a new window Workshop 2023, Nancy, France.

23/05/2023: Stefan Rass gives an invited talk on Security from Game Theory: A Short Introduction at Webinar of the RESPECT Project. 

16/05/2023: Michael Riegler presents the paper A Distributed MAPE-K Framework for Self-Protective IoT Devices, opens an external URL in a new window at the 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). 

15/05/2023: Marco Stadler presents ROMoSu: Flexible Runtime Monitoring Support for ROS-based Applications , opens an external URL in a new windowat the 5th International Workshop on Robotics Software Engineering (RoSE), Melbourne, Australia

08/05-21/06/2023: Daniel Hofer gives the talk and presentation Digital vernetzt und ausspioniert , opens an external URL in a new windowin the frame of the WKO Roadshow for more than 10 Times at e.g., Vöcklabruck, Steyr, Eferding, Schärding, Grieskirchen, Wels, Gmunden, Ried und Linz 

08/05-31/05/2023: René Mayrhofer gives a talk about Cybersecurity in the frame of the WKO Roadshow for 5 times i.e., at Gmunden, Linz, Rohrbach, Grieskirchen and Wels. 

25/04/2023: Stefan Rass gives a talk on Security in Machine Learning by Plausible Deniability, opens an external URL in a new window at the Hagenberger Security Forum

17-19/04/2023: Daniel Große's team presented their work at the Design, Automation and Test in Europe (DATE) 2023, opens an external URL in a new window

  • Improving design understanding of processors leveraging datapath clustering,
  • Programming language assisted waveform analysis: A case study on the instruction performance of SERV at Workshop on Open-Source Design Automation (OSDA 2023) hosted at DATE, and 
  • demonstrated WAL: A language for Automated and Programmable Analysis of Wafeforms at the University Fair of DATE

14/04/2023: Dagmar Auer, Daniel Hofer and Josef Küng represent the lab at the 2023 JKU Open House by presenting their research and providing an interactive hacking demonstration for participants.

31/03/2023: Josef Küng was invited to hold a presentation titled “Access Control in Information Systems” at the Tallinn University of Technology (TalTech), Estonia.

23-24/03/2023: Daniel Große's Team presented their work at the ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2023, opens an external URL in a new window

  • Fuzz-testing of SpinalHDL designs,
  • How we learned to stop worrying and build a RISC-V VP with only one microcode instruction, and
  • Divider verification using symbolic computer algebra and delayed don't care optimization.

12-17/03/2023: Armando Rastelli and his group organized the 22nd Winter School Mauterndorf (22. Winterschule Mauterndorf), Mauterndorf, Austria. 

13-15/03/2023: Armando Rastelli was invited to hold a presentation titled “Semiconductor nanostructures for quantum science and technology” at the 2023 5th Annual Erwin Schrödinger Symposium, opens an external URL in a new window (Erwin Schrödinger Society for Nanosciences - Challenges in Nanoscience & Application, Mauterndorf, Austria).

28/02/2023: First call for papers for the 7th International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems, opens an external URL in a new window (IWCFS 2023) in Penang, Malaysia between Aug. 28-30 2023, was published. Atif Mashkoor and Johannes Sametinger will serve as PC chairs this year. Click here, opens an external URL in a new window to send submissions.

30/01/2023: Sebastian Stock was invited to hold a presentation titled „Abstraction and Refinement of Vos” at the IVOIRE Workshop 2022, opens an external URL in a new window, Linz (Austria)

17/12/2022: The SIGFLAG team placed third at the BackdoorCTF 2022, opens an external URL in a new window event.

15/12/2022: Michael Riegler hosted a virtual panel talk titled “Regulatory Affairs for Medical Device Security” at UCSF-Stanford CERSI-FDA, USA.

07/12/2022: Our work on (i) Programmable analysis of RISC-V processor simulations using WAL, opens an external URL in a new window and (ii) A cross-domain heterogeneous ABV-library for mixed-signal virtual prototypes in SystemC/AMS, opens an external URL in a new window were presented at the Design and Verification Conference and Exhibition Europe (DVCon Europe 2022).

29/11/2022: Daniel Hofer was invited to hold a presentation titled "Modifying Neo4j’s Object Graph Mapper Queries for Access Control" at the iiWAS 2022, opens an external URL in a new window conference (online).

19-26/11/2022: Aya Mohamed was invited to hold a presentation of her paper titled "Authorization and Access Control for Different Database Models: Requirements and Current State of the Art" at the FSDE 2022 conference in Ho Chi Minh City, Vietnam.

19-26/11/2022: Josef Küng held a presentation of his work titled "Access Control in Information Systems" at the FSDE 2022 conference in Ho Chi Minh City, Vietnam.

17/11/2022: Michael Riegler hosted a virtual panel on “Medical Device Security: Physician Perspectives from Cardiology, Neurosurgery, Emergency Medicine, and Anesthesiology” at UCSF-Stanford CERSI-FDA, USA.

15/11/2022: Michael Vierhauser held a presentation titled “Hazard Analysis for Human-on-the-Loop Interactions in sUAS Systems” at the 2022 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, opens an external URL in a new window, Singapore.

03/11/2022: Gabriela Michelon successfully passed her PhD defense for her dissertation titled "Evolving System Families in Space and Time".

28/10/2022: The SIGFLAG group organized the Become a Hacker v2", opens an external URL in a new window Workshop in Linz.

27/10/22: Stefan Rass held a presentation titled “Synchronization in Security Games, Decision and Game Theory for Security” at the 13th annual International Conference GameSec 2022, online (Pittsburgh USA).

20/10/2022: Our work on Divider verification using symbolic computer algebra and delayed don’t care optimization, opens an external URL in a new window was presented at the Formal Methods in Computer-Aided Design conference (FMCAD 2022).

13/10/2022: Stefan Rass was a guest speaker for the podcast „Kritische Infrastruktur: Welche Rolle spielt eigentlich Abwasser?“, opens an external URL in a new window for Wissenschaft im Einsatz produced by DCNA Austria (in German).

05/10/2022: Michael Vierhauser presented his paper “Towards Cost-Benefit-Aware Adaptive Monitoring for Cyber-Physical Systems” at the 2022 IEEE Conference on Communications and Network Security (CNS): Cyber Resilience Workshop, opens an external URL in a new window, online.

28/09/2022: Barbara Lehner presented her paper "Route to Highly Entangled Photons from Quantum Dots Operated Atelevated Temperatures" at the 71st Annual Meeting of the Austrian Physical Society ÖPG, opens an external URL in a new window, Leoben.

17-22/09/2022: Stefan Rass presented his work titled “Proactive Robot System Defense Policies from Game Theory” at the Robotmeet 2022, opens an external URL in a new window, Edinburgh.

16/09/2022: We won the Best Paper Award for our paper “Formal verification of SUBLEQ microcode implementing the RV32I ISA”, opens an external URL in a new window at the Forum on Specification & Design Languages (FDL 2022).

14-16/09/2022: We organized the 25th IEEE Forum focusing on specification & Design Languages (FDL) in Linz.

14/09/2022: Daniel Große and his team presented their work “Formal verification of SUBLEQ microcode implementing the RV32I ISA” at the 25th IEEE Forum on specification & Design Languages (FDL 2022).

24/08/2022: Daniel Hofer presented the paper "Extending Authorization Capabilities of Object Relational/Graph Mappers by Request Manipulation" at the 33rd DEXA Conferences and Workshops, Vienna.

24/08/2022: Sebastian Stock presented his paper “Application of Validation Obligations to Security Concerns” at the 33rd DEXA Conferences and Workshops, Vienna.

23/08/2022: Michael Riegler presents his paper titled “Mode-Switching for Secure Edge Devices”, opens an external URL in a new window at the 33rd DEXA Conferences and Workshops, Vienna.

19/07/2022: Michael Riegler presented his paper titled “Context-aware Security Modes for Medical Devices” at the 2022 Annual Modeling and Simulation Conference (ANNSIM), opens an external URL in a new window, San Diego.

01/07/2022: Sibylle Möhle-Rotondi successfully passed her PhD defense for her dissertation titled  "Formalizing Methods for Propositional Model Counting and Enumeration", opens an external URL in a new window.

01/07/2022: A delegation from Pak-Austria Fachhochschule visited the JKU/LIT SCS Lab to not only discuss collaboration efforts, but also how to provide mutual support in the advancement of science and technology.

07/06/2022: Sebastian Stock presented his paper titled “Abstractions and Refinement of Vos”, opens an external URL in a new window at the IVOIRE Workshop as part of the iFMConference in Lugano, Switzerland.

06/06/2022: Our work on (i) RVVRadar: a framework for supporting the programmer in vectorization for RISC-V, opens an external URL in a new window and (ii) Efficient cross-level processor verification using coverage-guided fuzzing, opens an external URL in a new window were presented at the ACM Great Lakes Symposium on VLSI (GLSVLSI 2022). RVVRadar is also available at our ICS GitHub, opens an external URL in a new window.

30/05/2022: Barbara Lehner and Julia Freund took part in the 2022 Science Slam, opens an external URL in a new window at the JKU's Circus of Knowledge.

25/05/2022: Our paper titled SpinalFuzz: Coverage-guided fuzzing for SpinalHDL designs, opens an external URL in a new window was presented at the European Test Symposium (ETS 2022).

13/05/2022: Daniel Große held a presentation titled Intelligente Elektronik der Zukunft: Sicherheit durch offene Architekturen und virtuelle Prototypen, opens an external URL in a new window at the Internationale Akademie Traunkirchen.

10/05/2022: Barbara Lehner held a presentation titled “Route to highly entangled photons from QDs operated at temperatures reachable with Stirling coolers” at the FWF-FG5 Project meeting, Linz.

09/05/2022: Marco Stadler presented a paper titled "Towards flexible Runtime Monitoring Support for ROS-based Applications" at the 4th International Workshop on Robotics Software Engineering, opens an external URL in a new window (online).

05/2022: Michael Vierhauser and Iris Groher received an Innovative Lehre – Kepler Award for Teaching Innovation for their course "Einführung in die Softwareentwicklung mit Python". Click here to learn more.

18/03/2022: René Mayrhofer's work is featured in an article, opens a file about digital identities by FOCUS Online (in German).

02/03/2022: Daniel Große is appointed as Program Committee Member at the IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2022.

01/03/2022: Almost 3 years prior, the LIT Secure and Correct Systems Lab was established at the JKU and began working at the OIC. The lab pools expertise from a total of 10 institutes in computer science and physics. The third activity report is now available.

17/02/2022: Our paper titled “Programmable waveform analysis using the domain specific language WAL” was presented at the ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2022). We recorded an ASCII cast using WAL to determine the number of cycles SERV and VexRiscv need to execute one instruction on average, opens an external URL in a new window.

11/02/2022: Barbara Lehner talks about female students studying STEM subjects in an article titled „Frauen in der Wissenschaft: ‚Keine Angst vor Technik!‘“ in JKU News & Events (in German).

09/02/2022: Robert Wille was a guest in the video series QuBites for the episode Managing the Complexities of Quantum Computing, opens an external URL in a new window.

02/02/2022: Robert Wille was appointed a member of the Program Committee for the IEEE International Conference on Quantum Software (QSW).

28/01/2022: The article "Efficient design of labs-on-a-chip: Design automation and simulation for microfluidics", opens an external URL in a new window covering Robert Wille's FFG Project "Advanced Production of Microfluidic Devices through Simulation Methods" was published in The Project Repository Journal.

28/01/2022: The Munich Quantum Valley, opens an external URL in a new window (which Robert Wille is a part of) kicked off.

28/01/2022: Robert Wille's "10-year Retrospective Most Influential Paper Award" is covered in an article by the Oberösterreichische Nachrichten, opens an external URL in a new window.

28/01/2022: Robert Wille and his team released an update for our FCN design tool fiction, opens an external URL in a new window (v0.4.0, opens an external URL in a new window).

25/01/2022: Robert Wille was appointed a jury member for the Grand Finals of the ACM Student Research Competition (SRC).

19/01/2022: Christoph Mayr-Dorn presented a paper titled "The 'Factory in a Box'" at the LIT Lectures hosted by the JKU.

19/01/2022: Our work on WAL: a novel waveform analysis language for advanced design understanding and debugging, opens an external URL in a new window was presented at the Asia and South Pacific Design Automation Conference (ASP-DAC 2022). WAL is also available at our ICS GitHub, opens an external URL in a new window.

18-22/01/2022: Our work on "Limiting the Search Space in Optimal Quantum Circuit Mapping", opens an external URL in a new window and "Improving the Robustness of Microfluidic Networks, opens an external URL in a new window were presented at the Asia and South Pacific Design Automation Conference (ASP-DAC).

18/01/2022: Robert Wille received the "10-year Retrospective Most Influential Paper Award" from the Asia and South Pacific Design Automation Conference (ASP-DAC). See the corresponding JKU news article to learn more.

15/01/2022: Robert Wille's book "Design Automation for Field-coupled Nanotechnologies", opens an external URL in a new window is published by Springer Publishing.

13/01/2022: Robert Wille was appointed a member of the program committee for the International Conference on Computing Frontiers (CF).

10/01/2022: Daniel Große was appointed as the new head of the LIT Secure and Correct Systems Lab.

08/01/2022: Daniel Große was appointed as a program committee member at the ACM Great Lakes Symposium on VLSI (GLSVLSI) 2022.

07/01/2022: Robert Wille was appointed member of the program committee for the International Workshop on Logic & Synthesis (IWLS).

06/01/2022: The "First Call for Papers" for the 25th IEEE Forum on specification & Design Languages, opens an external URL in a new window (FDL) in Linz betwen September 14-16, 2022 is published. The Institute for Complex Systems (ICS) hosted FDL. Download the CFP here, opens an external URL in a new window.

04/01/2022: Our ERC Project "Design Automation for Quantum Computing" is featured in an article "Design tools for quantum computing", opens a file by the Open Access Government Magazine.

06-08/12/2021: We organized and moderated a panel about "Quantum Computing: An Industrial Perspective" (with panelists from IBM, Google, and Microsoft) at the Design Automation Conference (DAC).

02/12/2021: Our paper titled “Applying the Four-Eyes Principle to RISC-V Processor Verification by Equivalent Program Execution” is presented at the 4th Workshop on RISC-V Activities.

01-06/11/02021: Our paper titled "BigIntegr: One-Pass Architectural Synthesis for Continuous-Flow Microfluidic Lab-on-a-Chip Systems" is presented at the International Conference on Computer Aided Design (ICCAD).

04/11/2021: René Mayrhofer holds a panel discussion at the New Industry Meetup #8, online.

03/11/2021: Our FFG Project titled "Advanced Production of Microfluidic Devices through Simulation Methods" is covered in an article, opens a file by Innovation Origins.

25/10/2021: Robert Wille was invited to hold a presentation titled "Using SAT Solvers for Quantum Computing Design: Potential and Challenges" at the Workshop on Constraint Solving and Quantum Computing (QCP2021).

19/10/2021: Robert Wille was appointed member of the program committee for the European Test Symposium (ETS).

17/10/2021: Robert Wille was invited to hold a presentation titled "Simulations of Quantum Computations Using Decision Diagram" at the Workshop on Advanced Simulations of Quantum Computations, opens an external URL in a new window.

15/10/2021: Robert Wille was guest for the podcast Qubit FM, opens an external URL in a new window in which he spoke about Quantum Computing and Design Automation.

13/10/2021: Daniel Große was appointed as program committee member at the GMM/ITG/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2022.

13/10/2021: Robert Wille was appointed a member of the GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2022).

04/10/2021: Daniel Große held his inaugural lecture, opens an external URL in a new window.

29/09/2021: Our FFG projec titledt "Advanced Production of Microfluidic Devices through Simulation Methods" is covered in this press release (in German), opens a file.

27/09/2021: Michael Riegler held a presentation titled "Mode Switching for Secure Web Applications - A Juice Shop Case Scenario", opens an external URL in a new window at DEXA 2021.

23/09/2021: Barbara Lehner wins the Wilhelm Macke Award for her thesis "Quantendisco im Supermagnet – Wie ein Quantennetzwerk entsteht". Read the JKU's press releas here.

21/09/2021: Our paper titled "Design Automation for Microfluidic Concentration Gradient Generators" is presented at the International Conference on Micro and Nano Engineering (MNE).

21/09/2021: Robert Wille was appointed member of the program committee for the Workshop on Quantum Software Architecture (QSA).

10/09/2021: Daniel Große was appointed as General Chair of the Forum on specification & Design Languages (FDL) 2022. The FDL will be held Linz in 2022!

10/09/2021: Our paper titled "Quantum k-community detection: algorithm proposals and cross-architectural evaluation", opens an external URL in a new window was published in Quantum Information Processing.

01/09/2021: Our paper titled "A Survey of Graph Neural Networks for Electronic Design Automation", opens an external URL in a new window was presented at the Workshop on Machine Learning for CAD (MLCAD).

31/08/2021: We released an update for our DDVis tool to visualize decision diagrams for quantum computing that includes better formatting for complex numbers and many new example algorithms/circuits. Click here, opens an external URL in a new window to learn more.

28/08/2021: Dr. Robin Harper wrote a review, opens an external URL in a new window of our book "Introducing Design Automation for Quantum Computing", opens an external URL in a new window (Springer Publishing)

27/08/2021: Robert Wille was guest for the podcast by QubitGuy by the quantum computing software company, Classiq, in which he spoke about Design Automation Through the Ages, opens an external URL in a new window.

20/08/2021: Robert Wille was guest for the podcast #realt4lk by the Upper Austrian Youth Service in which he talked about "Quantum Computers: Super-PCs of the Future?, opens an external URL in a new window" (in German).

14/08/2021: Our paper titled "Accurate and Robust Malware Detection: Running XGBoost on Run-Time Data from Performance Counters", opens an external URL in a new window was published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).

14/08/2021: Robert Wille held a keynote speech titled "Design Automation and Software Tools for Quantum Computing" at the International Conference on Computational Intelligence and Data Engineering (ICCIDE).

28/07/2021: The article "Quantum Computer are coming! But how to use their potential?, opens an external URL in a new window" covering our ERC Project "Design Automation for Quantum Computing" was published in The Project Repository Journal.

08/07/2021: Our paper titled "Efficient Construction of Functional Representations for Quantum Algorithms", opens an external URL in a new window was presented at the International Conference on Reversible Computation (RC).

01/07/2021: Robert Wille joined the Classiq Technologies, opens an external URL in a new window advisory board, a Tel Aviv-based start-up working on developing software for quantum computing (see this press release, opens a file).

30/06/2021: René Mayrhofer moderated a panel on Digital Vaccination Passports, opens a file at ACM WiSec 2021. Access a recording of the panel here, opens an external URL in a new window.

28/06/2021: A working concept group is focusing on the profile for a new Technical University in Upper Austria and is covered by a press release by the State of Upper Austria, opens a file (in German).

22/06/2021: We presented our toolset for Quantum Computing , opens an external URL in a new windowat the International Workshop on Programming Languages for Quantum Computing (PLanQC 2021). Check out our GitHub repo, opens an external URL in a new window and see our web-based tool, opens an external URL in a new window to try them out!

17/06/2021: Robert Wille was appointed member of the Program Committee for the IEEE International Conference on Rebooting Computing (ICRC).

07/06/2021: We held a discussion with Thomas Stelzer (Governor of Upper Austria) and approx. 40 experts, opinion leaders, etc. on how Upper Austria can continue improving its position as a vibrant center for researchers, students, and entrepreneurs (Photo 1, opens a file, Photo 2, opens a file). This is also covered in an article "LH Stelzer blickt bereits weit in die Zukunft", opens a file by the Krone newspaper.

26/05/2021: Our paper titled Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams, opens an external URL in a new window was presented at the International Symposium on Multiple-Valued Logic (ISMVL).

25/05/2021: Robert Wille was appointed member of the concept group shaping the profile of a new Technical University Upper Austria (see corresponding press release, opens a file in German).

24/05/2021: Daniel Große has been appointed as Program Committee Member of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2021.

24/05/2021: Our work on SMT-Based Placement for System-on-Chip Design, opens an external URL in a new window is presented at the IEEE International Symposium on Circuits and Systems.

18-19/05/2021: Atif Mashkoor, Alexander Egyed and their colleague Michael Tröls received an ACM SIGSoft Distinguished Paper Award for their paper Timestamp-based Consistency Checking of Collaborately Developed Engineering Artifacts , opens a fileat the The International Conference on Software and System Processes (ICSSP)

09/05/2021: Robert Wille has been appointed member of the Program Committee for Asia and South Pacific Design Automation Conference (ASP-DAC)

07/05/2021: Robert Wille has been appointed member of the International Conference on Computer Design (ICCD)

28/04/2021: Lukas Burgholzer received the IBM Associate Developer Certification for Quantum Computation using Qiskit v0.2X, opens an external URL in a new window

27/04/2021: We released a new version of our JKQ toolset for quantum computing that substantially improves the performance of almost all decision diagram-related routines (including simulation, verification, etc.). More details here, opens an external URL in a new window

27/04/2021: The LIT Secure and Correct Systems Lab is featured in a (German) article about Michael Riegler and his work , opens a filein the Austrian newspaper Bezirksrundschau.

26/04/2021: Our book Recent Findings in Boolean Techniques, opens an external URL in a new window has been published by Springer.

24/04/2021: Robert Wille has been appointed member of the IEEE International Conference on Quantum Computing (QCE).

15/04/2021: The work on binary component decomposition by Richard Küng is presented at the Johann Radon Institute for Computational and Applied Mathematics, opens an external URL in a new window (Austrian Academy of Sciences (ÖAW), online)

15/04/2021: Armando Rastelli and his work on quantum cryptography, opens a file are featured in an article on JKU's News Update

13/04/2021: Our work on quantum computing is mentioned in a press release by Upper Austrian's Secretary of Economy and Research Markus Achleitner, opens a file (in German).

13/04/2021: Robert Wille and his work on quantum computing are mentioned in a (German) article, opens a file by WKO (Wirtschaftskammer Oberösterreich.

20/03/2021: Our research in the DFG-funded project VerA on formal verification of multiplier and divider circuits using Symbolic Computer Algebra has been covered in an article by Die Presse entitled Forschungsfrage: Rechnet der Computer immer richtig?, opens an external URL in a new window and by JKU Do Computers Always Perform Correct Calculations?

16/03/2021: The work on Four Flavors of Entailment by Sibylle Möhle-Rotondi is presented at the LogiCS Research Seminar, opens a file (TU Wien, online)

12/03/2021: Our work on quantum computing, opens a file is featured in a (German) article of JKU's "Kepler Tribune", namely "Bitte ein Qubit", opens a file.

05/03/2021: Almost 2 years ago, the LIT Secure and Correct Systems Lab was founded at JKU and started their work in the OIC. The lab combines the expertise of a total of 10 institutes from Computer Science and Physics. Now the second activity report , opens a filehas been completed. If you are interested in what's happening in the lab and what has been accomplished thus far, please have a look.

22/02/2021: The work on Efficient Post-Silicon Run-Time Error Detection for Systems-on-Chip, opens a file is presented at the Workshop "Testmethoden und Zuverlässigkeit von Schaltungen und Systemen" (TuZ)

13/02/2021: The work on Quantum Cryptography with Highly Entangled Photons from Semiconductor Quantum Dots about quantum communication between two buildings (LIT-OIC and Semiconductor Physics) using highly entangled photons from semiconductor quantum dots by Christian Schimpf, Marcus Reindl, Daniel Huber, Barbara Lehner, Saimon F. Covre Da Silva, Santanu Manna, Michal Vyvlecka, Philip Walther, and Armando Rastelli has been accepted in Science Advances

03/02/2021: The open-source implementation of our inital design automation tool for the European Train Control System (ETCS) has been published.

02/02/2021: The open-source implementation of our noise-aware quantum circuit simulation has been published.

01-04/02/2021: The works on

by Robert Wille, Lukas Burgholzer, Richard Küng, and colleagues are presented at the Design, Automation and Test in Europe (DATE)

01/02/2021: We give a brief talk on EDA Tools for Quantum Computing at the DATE tutorial "M04 Security in the Post-Quantum Era: Threats and Countermeasures", opens an external URL in a new window

01/02/2021: We are organizing the PhD Forum at DATE, opens an external URL in a new window

29/01/2021: The open-source implementation of the quantum circuit simulation with decision diagrams by Robert Wille and colleagues got a major update. It now also includes their recently developed methods for weak simulation and approximate simulation.

28/01/2021: Daniel Große has been appointed as Program Committee Member of the 29th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) 2021.

26/01/2021: Robert Wille and his colleagues extended their quantum circuit verification tool, so that it now can be natively integrated with IBM Qiskit.

26/01/2021: Article about Armando Rastelli and his colleagues and their research on Quantum Teleportation with Quantum Dots, opens a file

19-21/01/2021: The works on

by Robert Wille, Lukas Burgholzer, RIchard Küng, and colleagues are presented at the Asia and South Pacific Design Automation Conference (ASP-DAC)

13/01/2021: Robert Wille has been appointed Executive Committee Member and Workshop Chair of the International Conference on Computer-Aided Design (ICCAD).

07/01/2021: Daniel Große has been appointed as Program Committee Member of the ACM Great Lakes Symposium on VLSI (GLSVLSI) 2021.

09/12/2020: Robert Wille receives the ERC Consolidator Grant of the European Research Council (including a funding of 2 million Euro). With this grant he will develop methods to improve the work of quantum computers. See also these press articles (English and German):

01/12/2020: The introduction to Intelligent Autonomous Systems, opens a file written by Atif Mashkoor and colleagues has been published by IEEE Computer Society

25-27/11/2020: Aya Mohamed presents the conference paper Authorization Policy Extension for Graph Databases, opens an external URL in a new window by Aya Mohamed, Dagmar Auer, Daniel Hofer and Josef Küng at FDSE 2020 - The 7th International Conference on Future Data and Security Engineering (online)

25-27/11/2020: Daniel Hofer presents the conference paper On Applying Graph Database Time Models for Security Log Analysis, opens an external URL in a new window by Daniel Hofer, Markus Jäger, Aya Mohamed and Josef Küng at FDSE 2020 - The 7th International Conference on Future Data and Security Engineering (online)

25/11/2020: Robert Wille received together with his colleagues Alwin Zulehner and Alexandru Paler the Donald O. Pederson Best Paper Award (IEEE Transactions on Computer-Aided Design) for their work on An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures, opens a file. Here an article about their work, opens a file

25/11/2020: Talk on Application-Oriented AI Research in Healthcare, opens a file by Atif Mashkoor at COMSTECH (virtual)

24/11/2020: Talk on Evaluating the Alignment of Sequence Diagrams with System Behavior, opens a file by Alexander Egyed and Atif Mashoor at ISM 2020 (virtual)

23/11/2020: Talk on Multi-Mode Systems for Resilient Security in Industry 4.0, opens a file by Johannes Sametinger and Michael Riegler at ISM 2020 (virtual)

18/11/2020: Robert Wille receives the 1st place in the "Vote Your Prof"-competition, opens a file for exceptional performance in teaching at JKU

17/11/2020: Robert Wille and colleagues are candidates for the Best Paper Award for the paper Cost Optimization at Early Stages of Design Using Deep Reinforcement Learning, opens a file presented at the Workshop on Machine Learning for CAD (MLCAD)

12/11/2020: Keynote on Current Developments on Digital Identities, opens a file by René Mayrhofer at eEducation Praxistage, Österreichische Akademie der Wissenschaften, Viena

09/11/2020: The work on Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators, opens a file by Robert Wille, Lukas Burgholzer, Stefan Hillmich, Thomas Grurl and Jürgen Fuß is presented at the International Symposium on Multiple-Valued Logic

04/11/2020: Robert Wille gives a talk on Quantum Computers: Challenges and Potentials, opens a file at the IoT-Kongress of the Austrian Standard

04/11/2020: The works on Decoherence Errors in the Simulation of Quantum Circuits Using Decision Diagrams, opens a file by Robert Wille and colleagues as well as JKQ: JKU Tools for Quantum Computing, opens a file by Robert Wille, Lukas Burgholzer and Stefan Hillmich are presented at the International Conference on Computer Aided Design (ICCAD)

03/11/2020: Richard Küng introduces himself in the interview "Richard Küng: A Man for all Seasons (Math, Physics and Computer Science)", opens a file

28/10/2020: Talk on Modern Quantum Computing: a Blessing with a Course by Richard Küng at the OIC Breakfast Briefing (LIT Open Innovation Center)

27/10/2020: The work on Towards Drift Modeling of Graphene-Based Gas Sensors Using Stochastic Simulation Techniques, opens a file by Robert Wille and colleagues is presented at the IEEE SENSORS

22/10/2020: The work on Advanced Equivalence Checking for Quantum Circuits, opens a file by Lukas Burgholzer and Robert Wille has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD)

21/10/2020: The work on Exploring the Potential Benefits of Alternative Quantum Computing Architectures, opens a file by Robert Wille and colleagues has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD)

20/10/2020: Webinar with René Mayrhofer "Digital vernetzt und ausspioniert, opens a file". Registration, opens an external URL in a new window

16/10/2020: At the Kepler Society's event "Welcome to the Future - How digitization is changing our lives, opens an external URL in a new window", Daniel Hofer and Josef Küng show how easy it is to take control of devices like a common wireless mouse.  To registration, opens an external URL in a new window

14/10/2020: Robert Wille and colleagues present their work on Efficient and Correct Compilation of Quantum Circuits, opens a file at the IEEE International Symposium on Circuits and Systems

14/10/2020: The work on Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow, opens a file by Lukas Burgholzer, Robert Wille, and Rudy Raymond is presented at the IEEE International Conference on Quantum Computing (QCE)

09/10/2020: Article about the work of Armando Rastelli and his colleagues on Writing Quantum Information into Nano-Semiconductors, opens a file

07/10/2020: Article about Daniel Große The New Faces at the TN Faculty, opens a file

07/10/2020: Robert Wille gives a talk on Design Automation for Reversible and Adiabatic Circuits , opens an external URL in a new windowat the CCC Workshop on Physics & Engineering Issues in Adiabatic/Reversible Classical Computing

02/10/2020: Talk by Atif Mashkoor on Rigorous Methods for Safe & Secure Systems & Software Engineering, opens a file at National University of Computer and Emerging Sciences (Islamabad, Pakistan; virtual)

28/09/2020: The work on Nuclear Spin Quantum Register in an Optically Active Semiconductor Quantum Dot, opens an external URL in a new window by Armando Rastelli and colleagues has been published in Nature

30/09/2020: The SCCH which is led by a LIT Lab professor is featured in an interview with CEO Markus Manz and CSO Robert Wille, opens a file

24/09/2020: Sibylle Möhle-Rotondi wins Best Student Contribution Award, opens a file for her work (Dual) Projected Propositional Model Counting and Enumeration without Repetition at FMCAD 2020 (Haifa, Israel; virtual)

23/09/2020: The works on Verifying Results of Quantum Circuit Compilation Flows, opens a file by Lukas Burgholzer, and Robert Wille as well as Exploiting Quantum Teleportation in Quantum Circuit Mapping, opens a file by Stefan Hillmich, Alwin Zulehner, and Robert Wille are presented at the International Workshop on Quantum Compilation

18/09/2020: Christian Schimpf gives a talk on Quantum Cryptography with Semiconductor Quantum Dots, opens a file at the 16. nanoNET-meeting (virtual)

18/09/2020: SIGFLAG reaches place 13 at the VolgaCTF 2020 Final, opens a file

17/09/2020: Michael Riegler gives a talk on Mode Switching from a Security Perspective: First Findings of a Systematic Literature Review, opens a file at IWCFS 2020 (Bratsilava, online)

17/09/2020: SIGFLAG participates at the VolgaCTF 2020 Final. Good luck!

16/09/2020: Alexander Egyed gives a talk on Collaborative Engineering in a Multi-Tool Environment, opens a file at the LIT Lectures (Open Innovation Center, Linz)

16/09/2020: The work on YASSi: Yet Another Symbolic Simulator, opens a file by Robert Wille and colleagues is presented at the International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems

15/09/2020: Keynote Managing Digital Identities - from Contact Tracing in the Crisis to Future Virtual Passports by René Mayrhofer at OÖ Regional Leaders Summit, opens a file (virtual)

12/09/2020: The book chapter “An Efficient Nearest Neighbor Design for 2D Quantum Circuits, opens a file” by Robert Wille and colleagues has been published by Springer

11/09/2020: The work on Cost Estimation for Configurable Model-Driven SoC Designs Using Machine Learning, opens a file by Robert Wille and colleagues is presented at the Great Lakes Symposium on VLSI (GLVLSI)

09-13/09/2020: Michael Roland, Michael Mayr, Robert Holzinger and Markus Vogl present "Exposed Building, opens an external URL in a new window" at the Ars Electronica Festival (JKU Campus, Linz)

04/09/2020: Armando Rastelli gives a talk on Towards scalable semiconductor-based sources of quantum light at the Opening of the Christian Doppler Laboratory for Photonic Quantum Computer, opens a file, headed by Univ. Prof. Philip Walther, University of Vienna

28/08/2020:The work on ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing, opens an external URL in a new window by Robert Wille and colleagues is presented at the Euromicro Conference on Digital System Design (DSD).

05/08/2020: The LIT Secure and Correct Systems Lab is featured in an interview with Robert Wille, opens a file

27/07/2020: The work on SAT-based Exact Physical Design for Field-coupled Nanocomputing Technologies by Robert Wille and colleagues is presented at the International Workshop on Logic Synthesis (IWLS)

25/07/2020: The work on Post Synthesis-Optimization of Reversible Circuits using Template Matching is presented at the International Symposium on VLSI Design and Test (VDAT).

24/07/2020: Best Poster Award for the Young Student Fellow Program presentation "Decision Diagrams for Quantum Computing" at the Design Automation Conference (DAC) awarded to Stefan Hillmich

20-24/07/2020: Lukas Burgholzer and Stefan Hillmich participate at the Young Student Fellow Program of the Design Automation Conference (DAC, virtual).

20-24/07/2020: The works on

by Robert Wille and colleagues are presented at the Design Automation Conference (DAC, virtual)

19/07/2020: Robert Wille gives a talk on EDA tools for simulation, compilation, and verification of quantum circuits, opens a file at the DAC Workshop on Design Automation for Quantum (DAQ)

16/07/2020: René Mayrhofer gives a keynote on Digital Authentication in the Real World without Sacrificing Privacy, opens a file (Computing Conference 2020, virtual). To the video, opens an external URL in a new window

16/07/2020: Sibylle Möhle gives a talk on Addressing Propositional Model Counting and Enumeration with and without Projection (Ludwig-Maximilians-Universität München, virtual)

14/07/2020: René Mayrhofer and Philipp Hofer give a workshop on Digital Identities at ekey, Linz

14/07/2020: René Mayrhofer gives a talk on Digital Identity of the Future - opportunities and challenges (Ars Electronica Science Talk, virtual). To the video, opens an external URL in a new window

09/07/2020: Sibylle Möhle gives a workshop on Four Flavors of Entailment for Projected Model Counting, opens a file (Workshop on Model Counting, MCW 2020@SAT, online)

08/07/2020: Four gold medals and 7 medals in total for the SAT solver Kissat, opens a file developed by Armin Biere at the SAT Competition 2020

08/07/2020: Talk by Sibylle Möhle on Four Flavors of Entailment, opens a file (The 23rd International Conference on Theory and Applications of Satisfiability Testing, online)

06/07/2020: The work Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits, opens a file by Robert Wille and colleagues is Best Paper Award Candidate and presented at the IEEE Computer Society Annual Symposium on VLSI (ISVLSI)

26/06/2020: Video seminar Behind the Scenes of Chronological CDCL, opens a file by Sibylle Möhle and Armin Biere (Lund University, Lund; online)

25/06/2020: Article about Richard Küng and his area of research Prediction Helps: Step-by-Step to Quantum Computers , opens a file

27/05/2020: The work on Automatic Design of Droplet-Based Microfluidic Ring Networks, opens a file by Robert Wille and colleagues has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).

27/05/2020: Robert Wille gives a talk on Microfluidic systems: The Lab on a Chip, opens a file (in German) at the 37. Softwarepark Hagenberg IN-Breakfast.

26/05/2020: René Mayrhofer opens the Christian Doppler Laboratory for Private Digital Authentication in the Physical World, opens an external URL in a new window (Digidow). To the program and video, opens an external URL in a new window. See also these articles: 

14/05/2020: The book chapter "Simulation and Design of Quantum Circuits, opens a file" by Robert Wille and Alwin Zulehner has been published in the Springer book Reversible Computation: Extending Horizons of Computing, opens a file

14/05/2020: First entanglement-based quantum key distribution experiment through an optical fiber between the Institute of Semiconductor and Solid State Physics and the LIT Open Innovation Center by Christian Schmipf and his colleagues Marcus Reindl and Barbara Lehner

05/05/2020: TV spot (ORF) about Contact Tracing concerning COVID-19 measures with Michael Riegler and his colleagues from the fire department

01/05/2020Robert Wille becomes new Chief Scientific Officer of the Software Competence Center Hagenberg, opens a file. See also this press release by Landesrat Markus Achleitner Neuer wissenschaftlicher Leiter verstärkt internationale Sichtbarkeit des Software Competence Centers Hagenberg, opens a file (LandesKorrespondenz) and these articles (in German): 

21/04/2020: Talk by Richard Küng Predicting Many Properties of a Quantum System from Very Few Measurements, opens a file (via Zoom)

21/04/2020: The works on Towards Exploring the Potential of Alternative Quantum Computing Architectures, opens a file and Verification Runtime Analysis: Get the Most Out of Partial Verification, opens a file by Robert Wille and colleagues are presented at the Design, Automation and Test in Europe (DATE) (virtual). Besides that, they are part of the Special Session on Realizing Quantum Algorithms on Real Quantum Computing Devices, opens a file

20/04/2020: Interview with Robert Wille Online Teaching Seems to Work Well, opens a file

16/04/2020: Team SIGFLAG is the best CTF-Team, opens a file in Austria

08/04/2020: Newspaper article about the Corona app, opens a file on which René Mayrhofer is also working (Tips)

08/04/2020: The book Introducing Design Automation for Quantum Computing, opens a file by Robert Wille and Alwin Zulehner has been published by Springer

07/04/2020: TV-Interview with René Mayrhofer in "Guten Morgen Österreich" about the "Stop-Corona" app, opens a file (ORF)

04/04/2020: Newspaper articles about René Mayrhofer and other JKU researchers who work on the EU Corona app: Linzer Forscher arbeiten an EU-Corona-App mit , opens a file(Oberösterreichische Nachrichten) and Corona-App: JKU-Experten verweisen auf Grundrechte, opens a file (Kronen Zeitung)

03/04/2020: Youtube video with René Mayrhofer and other JKU researchers who discuss the new Corona app with JKU vice-chancellor Meinhard Lukas, opens an external URL in a new window

03/04/2020: Newspaper article about the new Corona app and announcement of the interview with René Mayrhofer, opens a file and other experts discussing about this topic

22/03/2020: Newspaper article about the extraordinary work of Michael Riegler and his team at the fire department during COVID-19 measures, opens a file (Mein Bezirk)

17/03/2020: The work on Design and realization of flexible droplet-based lab-on-a-chip devices: From theory to practice, opens a file by Robert Wille and colleagues has been published in e & i Elektrotechnik und Informationstechnik

13/03/2020: Newspaper article/expert opinion by René Mayrhofer about the fear of beeing bugged , opens a file(Kepler Tribüne)

12/03/2020: Armando Rastelli gives a talk on Semiconductor-based sources of quantum light, opens a file at the University of Pavia (Italy)

05/03/2020Article, opens a file and TV spot, opens an external URL in a new window (ORF) about the research-cooperation between the State of Upper Austria and Aachen (Germany) with Robert Wille

03/03/2020: The work on Overcoming the Trade-off Between Accuracy and Compactness in Decision Diagrams for Quantum Computation, opens a file by Robert Wille and colleagues has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD)

28/02/2020: Newspaper article and a TV spot, opens an external URL in a new window with Robert Wille who presents the Technology studies at JKU, opens a file (Oberösterreichische Nachrichten)

26/02/2020: The work on Integer Overflow Detection in Hardware Designs at the Specification Level, opens a file by Robert Wille and colleagues is presented at the Model-Driven Engineering and Software Development (MODELSWARD), Valetta (Malta)

06/02/2020: Talk by René Mayrhofer Smart Home Security, opens a file - Immotopia Innovation Award 2020, Linz (Austria)

08/02/2020: Newspaper article/expert opinion by René Mayrhofer regarding the question "How secure is my mobile phone?", opens a file (Oberösterreichische Nachrichten)

25/01/2020: The work on Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation, opens a file by Robert Wille and colleagues has been published in the IEEE Transactions on Computers (TC)

18/01/2020: The book chapter "Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks, opens a file" by Robert Wille and colleagues has been published by Springer

17/01/2020: Newspaper article/expert opinion by René Mayrhofer about Windows 7 and its security risks, opens a file (Mein Bezirk)

13-16/01/2020: The works on 

 by Robert Wille, Lukas Burgholzer and colleagues are presented at the Asia and South Pacific Design Automation Conference (ASP-DAC), Bejing (China)

07/01/2020: Article SOKO JKU: Philipp Schwarz was awarded the Adolf Adam Computer Science Price for his program, which can read usable profiles even from badly preserved fingerprints, opens a file

23/12/2019: Newspaper article about Adolf-Adam Award 2019 winner Philipp Schwarz: Auf den Spuren des Sherlock Holmes, opens a file (Oberösterreichische Nachrichten)

20/12/2019: Article about Adolf-Adam Award 2019 winners DI Philipp Schwarz (1st price) and DI Daniel Hofer (3rd price): SOKO JKU - KI zur besseren Fingerabdruckerkennung – JKU kürte Jung-Informatiker, opens a file

19/12/2019Adolf-Adam Award 2019, opens a file, Linz (Austria)

  • Talk by Hanspeter Mössenböck Informatik - you can make IT! 
  • Presentation by Daniel Hofer (nominated) (Un)sichtbare Wasserzeichen - Gestohlenen Webseiten auf der Spur
  • Presentation by Philipp Schwarz (nominated) SOKO JKU - KI zur besseren Fingerabdruckerkennung

14/12/2019: Newspaper article JKU und FH läuten gemeinsam ein neues Computer-Zeitalter ein, opens a file about a new computer era and synergies between FH Oberösterreich, Campus Hagenberg, and Johannes Kepler University Linz (Oberösterreichische Nachrichten)

13/12/2019: Newspaper article Cyberwar, opens a file with expert opinions by René Mayrhofer and Johannes Sametinger (Kepler Tribüne)

10/12/2019: Newspaper article/expert opinion by Robert Wille Die meisten wollen hacken, opens a file (Kronen Zeitung)

06/12/2019: Article Researchers Prepare for the Age of Quantum Computing as Computers of Tomorrow take on Super Complex Simulations , opens a filewith Robert Wille as part of the team

01/12/2019: SIGFLAG team (supported by LIT Secure and Correct Systems Lab) reaches place 5 of 948, opens a file at CTF Challenge "OverTheWire Advent Bonanza 2019"

29/11/2019: Talk by Josef Küng Trust and Knowledge Processing at Future Data and Security Engineering, opens a file - 6th International Conference at FDSE 2019, Nha Trang City (Vietnam)

25/11/2019: Expert opinion by René Mayrhofer about a digital driver´s licence Digitaler Führerschein: Massenüberwachung muss man ausschließen, opens a file 

23/11/2019: SIGFLAG team (supported by LIT Secure and Correct Systems Lab) reaches place 27 of 188, opens a file at RuCTF 2019

13/11/2019: Radio Interview with René Mayrhofer about proving identities digitally, opens an external URL in a new window (Ö1 heute)

12/11/2019: Talk by René Mayrhofer Der Ausweis am Smartphone oder in der Cloud, opens an external URL in a new window - Hedy Lamarr-Lecture at Österreichische Akademie der Wissenschaften (ÖAW), Viena (Austria)

11/11/2019: Expert opinion by René Mayrhofer about digital identities Die menschliche Identität in der virtuellen Welt, opens a file

02/11/2019: Newspaper article with René Mayrhofer about our dealings with our privacy regarding new technologies Privat oder bequem, opens a file (Oberösterreichische Nachrichten)

02/11/2019: Expert opinion by René Mayrhofer about digital identities Das virtuelle Ich, opens a file

30/10/2019: Talk by René Mayrhofer Secure Systems Made in OÖ, opens a file at the 30th anniversary of Softwarepark, Hagenberg (Austria)

30/10/2019: Talk by René Mayrhofer Digital Identities – Risks and Opportunities for Individual Use at Breakfast Briefing/LIT Open Innovation Center, opens a file, Linz (Austria)

29/10/2019: Newspaper Article/expert opinion about data theft by René Mayrhofer Nur ein Passwort zu verwenden ist riskant , opens a file(Mein Bezirk)

24/10/2019: Newspaper article about our Lab Neun Institute für eine sichere IT , opens a file(Mein Bezirk)

23/10/2019: Article Finance Minister Eduard Müller Visits the Johannes Kepler University Linz, opens a file, discusses with Lab members Robert Wille and Barbara Lehner and gets to know our Lab

22/10/2019: Talk Einfache Werkzeuge für Datenintegration und erste Analysen, about simple tools for data integration and initial analysis by Josef Küng and Dagmar Auer as well as expert interviews with both, opens a file of the speakers at Small / Big Datalytics. LIT Open Innovation Center, Linz (Austria)

18/10/2019: TV program about the LIT Secure and Correct Systems Lab and its Opening, opens an external URL in a new window (Oberösterreichische Nachrichten) 

17/10/2019: Official Opening of the LIT Secure and Correct Systems Lab, opens a file at LIT Open Innovation Center, Linz (Austria). See also these articles:

17/10/2019: Article about the LIT in general Was sich hinter den Mauern des LIT verbirgt , opens a file(Oberösterreichische Nachrichten)

14/10/2019: SIGFLAG team (supported by LIT Secure and Correct Systems Lab) reaches place 45 of 662, opens a file at HITCON CTF Challenge 2019

12/10/2019: Newspaper article/expert opinion by René Mayrhofer about digital privacy Die Fragen für die Zeit nach dem Handy, opens a file (Oberösterreichische Nachrichten)

08/10/2019: Newspaper article Computer von morgen, opens a file (Kronen Zeitung) with expert opinion by Robert Wille about computers of tomorrow

01/10/2019: Tutorial by Michael Sonntag Reuse of IP at LIT Open Innovation Center, Linz (Austria)

01/10/2019: Guest talk Decision Diagrams in Combinatorial Optimization, opens a file by Günther Raidl (TU Wien) at JKU Management Center, Linz (Austria)

30/09/2019: Article about the SIGFLAG team (supported by LIT Secure and Correct Systems Lab) Upper Austrian Students Successfully "Hack" Their Way through the VolgaCTF Final, opens a file

25/09/2019: Talk by Armando Rastelli and Daniel Huber Highly Entangled Photon Pairs from Semiconductor Quantum Dots at SemiconNano2019, opens a file, Kobe (Japan)

24/09/2019: Sibylle Möhle-Rotondi and Armin Biere win Best Poster and Interaction Award with Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting, opens an external URL in a new window at BRAIN 2019, Bozen-Bolzano (Italy)

23/09/2019: Armando Rastelli gives a talk on Semiconductor Nanostructures as Nearly-Ideal Sources of Quantum Light, opens a file at the Institute of Physics of the Chinese Academy of Sciences, Beijing (China)

19/09/2019: Article The JKU Presented the Early Research Achievement Awards, opens a file with one of the winners, Daniel Huber

18/09/2019: Talk by Sibylle Möhle-Rotondi and Armin Biere Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting at BRAIN 2019, opens a file, Bolzano (Italy)

17/09/2019: Newspaper article about team SIGFLAG (supported by the LIT Secure and Correct Systems Lab) who has reached the 6th place (as the best non-Russian team) at the final of the IT security competition "VolgaCTF" Linzer Studenten als Computer-Hacker in Russland, opens a file (Oberösterreichische Nachrichten)

17/09/2019: Talk by Armando Rastelli Generation and teleportation of photonic entanglement using semiconductor nanostructures at International conference on Emerging Quantum Technology, opens a file, Hefei (China)

17/09/2019: Newspaper article/expert opinion by René Mayrhofer about hacking challenges and computer security Das Gefährdungspotential steigt , opens a file(Oberösterreichische Nachrichten) 

13/09/2019: Guest talk Nano-system Design: Technology and tools, opens a file by Giovanni De Micheli (Institute of Electrical Engineering, EPFL Lausanne, Switzerland) at Science Park II, Linz (Austria)

12/09/2019: Newspaper article about team UpperSec (supported by the LIT Secure and Correct ystems Lab) who has qualified for the final of the IT security competition "VolgaCTF" (out of more than 1000 teams and as the best German-speaking team) Diese JKU-Studenten sind bei der "Hacker WM" dabei, opens a file (Heute)

12/09/2019Daniel Huber reveives JKU Early Research Achievement Award, opens a file for his work on the generation of highly entangled photons using semiconductor quantum dots, Linz (Austria)

11/09/2019: Talk by Alexander Egyed Automating Test Reuse for Highly Configurable Software; Comparison-Based Feature Location in ArgoUML Variants; A Kconfig Translation to Logic with One-Way Validation System, opens a file at SPLC 2019, Paris (France)

10/09/2019: Guest tutorial Machine Learning by Mag. Günter Klambauer (Institute for Machine Learning, JKU Linz) at LIT Open Innovation Center, Linz (Austria)

09/09/2019: Article about team SIGFLAG (supported by LIT Secure and Correct Systems Lab) JKU Students Qualify for International "Hacker" Competition in Russia, opens a file

05/09/2019: Austrian Federal Chancellor Brigitte Bierlein and Science Minister Iris Rauskala visit the LIT Secure and Correct Systems Lab. Here is an article about their visit at JKU in general: Austrian Federal Chancellor Brigitte Bierlein and Science Minister Iris Rauskala Visit the JKU, opens a file 

03/09/2019: Tutorial by Robert Wille and Armin Biere Satisfiability Solvers and Their Application at LIT Open Innovation Center, Linz (Austria)

28/08/2019: Robert Wille gives a talk on Design Automation for Quantum Computing, opens a file at the Indian Institute of Technology Kharagpur (India)

27/08/2019: Robert Wille gives a talk on Potential of Design Automation for Emerging Technologies at NTU Singapore (Singapore)

26-29/08/2019: IWCFS 2019/DEXA 2019 - 3rd International Workshop on Cyber-Security and Functional Safety in Cyber-Physical Systems, opens a file, Linz (Austria)

  • Talk by Atif Mashkoor Security Risk Mitigation of Cyber Physical Systems: A Case Study of a Flight Simulator
  • Talk by Johannes Sametinger Information Disclosure Detection in Cyber-Physical Systems
  • Talk by Johannes Sametinger Securing Smart Homes
  • Talk by Johannes Sametinger Resilient Security of Medical Cyber-physical Systems
  • ​​​​​​Talk by Josef Küng Linking Trust to Cyber-Physical Systems 

26/07/2019: Article about Best Research Demo Award winner Robert Wille and his colleagues M. Walter, F.Sill Torres, D.Grosse, and R.Drechsler More than Fiction - Design Nanotech Tool "Fiction" Presented with Best Research Demo Award, opens a file

17/07/2019: Robert Wille receives (together with M. Walter, F.Sill Torres, D. Grosse, R. Drechsler) the Best Research Demo Award from the IEEE Computer Society Annual Symposium on VLSI, opens a file, Miami (USA)

12/07/2019: Talk by Sibylle Möhle-Rotondi and Armin Biere Backing Backtracking at SAT 2019, opens a file, Lisbon (Portugal)

Armin Biere wins 2 medals (including one first place) at SAT Competition 2019, opens a file, Lisbon (Portugal)

09/07/2019: Talk by Armin Biere , opens an external URL in a new windowIncremental Inprocessing in SAT Solving, opens a file at SAT 2019, Lisbon (Portugal)

07-08/07/2019: Armin Biere receives 10 medals (including 7 first places) at SMT Competition 2019, opens a file, Lisbon (Portugal)

25/06/2019: Michael Sonntag gives a talk on Anonymos and/or Identified on the Internet and represents together with Josef Küng the LIT Secure and Correct Systems Lab at the IT-Cluster event "Digital vernetzt und ausspioniert! - Die Konkurrenz hört mit!", opens a file, Eberstalzell (Austria)

25/06/2019TV comment with Michael Roland about Wi-Fi and its security risks, opens an external URL in a new window (LT1 Oberösterreich)

06/06/2019: The LIT Secure and Correct Systems Lab team members show their work area and their lab activities, opens a file at the LIT Open Innovation Center opening ceremony

06/06/2019: Article about the two awarded scientists Robert Wille (Under 40 Innovators Award) and Alwin Zulehner (award for his dissertation project) Young and Innovative: Awards Presented to Two JKU Researchers, opens a file

06/06/2019: Article about Under 40 Innovators Award winner Robert Wille Design Automation: Auszeichnung für Robert Wille, opens a file 

03/06/2019: Robert Wille wins the Under-40 Innovators Award at Design Automation Conference 2019, opens a file, Las Vegas (USA)

17/05/2019: Daniel Huber holds a presentation titled GaAs quantum dots: A Dephasing-Free Source of Polarization Entangled Photon Pairs, opens a file at the University of Viena (Austria)

16/05/2019: Guest talk Mobile Microfluidics by Mirela Alistar, opens a file (ATLAS Institute, Computer Science, University of Boulder, USA) at Science Park II, Linz (Austria)

29/04-02/05/2019: Johannes Sametinger becomes a committee member for SPRINGSIM 2019, opens a file, Arizona (USA)

24/04/2019: A newspaper article featuring an expert opinion by Armando Rastelli about a new photon source for better quantum networks Neue Photonenquelle für bessere Quantennetzwerke, opens a file (Der Standard)

03/04/2019: Armando Rastelli held a presentation titled Epitaxial Quantum Dots as Tunable Sources of Entangled and Indistinguishable Photons at DPG Spring meeting, opens a file, Regensburg (Germany)