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.

 

21/10/2024: Stefan Rass named Nr. 8 on the ranking of top game theory researchers of the last 5 years (by ScholarGPS, https://scholargps.com/top-scholars?year=2022&ranking_duration=LAST_5_YEARS&specialty=Game+theory, opens an external URL in a new window)

 

17/10/2024: Stefan Rass was panelist on "Challenges and Opportunities for Using Game Theory and AI for Cybersecurity" at the 15th Conference on Game Theory and AI for Security (GameSec-24; www.gamesec-conf.org, opens an external URL in a new window) October 2024: Our Crypto-Programming Language "Sunset/FFapl" (https://github.com/cryptool-org/cryptobrief, opens an external URL in a new window) has become part of the official "Cryptool Online": https://www.cryptool.org/de/cto/cryptobrief/ , opens an external URL in a new window
 

 

Quantum for more safety – JKU Macke Award for Maximilian Aigner

20/09/2024: Our colleague, Maximilian Aigner, was honored with the Macke Award for his presentation titled, "The Smallest Security in the World: How Quantum Dots Enhance Our Security," on September 20.

In his presentation, Aigner explored the behavior of quantum dots in electric fields and their potential applications in quantum technology. His research highlights how quantum dots can be utilized for secure communication, offering new possibilities for safeguarding information in the digital age.

[Translate to Englisch:] Macke Award 2024, ©Credit: silentphotography.at

Colleagues Participation in PhD Summer School of Art x Science School for Transformation

22/08/2024: We’re happy to announce that DI Philipp Schwarz gave an invited talk at the PhD Summer School of the Art x Science School for Transformation, focusing on AI in research and society. He explored AI's impact on research with a focus on literature management (e.g., Elicit), and discussed the appropriate use of large language models like ChatGPT. Congratulations on this achievement!

 

07/09/2024: JKU has become an official member of the Disaster Competence Network Austria (www.dcna.at, opens an external URL in a new window), with Stefan Rass as leader of the working group on "Critical Infrastructures"
 

 

Congratulation to you, Dr. Sebastian Stock!

06/09/2024:  Our colleague Dr. Sebastian Stock was awarded his doctorate for the subject "Early and systematic validation of formal models, opens an external URL in a new window" on September 6th. We congratulate you warmly and wishing you all the best. 

 

Warmest regards,

The Team of LIT Secure and Correct Systems Lab

Congratulation to you, Dr. Aya Mohamed!

20/06/2024:  Our colleague Dr. Aya Mohamad MSc was awarded her doctorate for the subject "Fine-grained Dynamic Authorization and Access Control in the Context of Graph-Structured Data, opens an external URL in a new window" on June 20. We congratulate you warmly and wishing you all the best. 

 

Warmest regards,

The Team of LIT Secure and Correct Systems Lab

06/06/2024: Stefan Rass was panelist in the discussion about "Breaking the walls and/or bridging sectors and disciplines?" at the European Research and Innovation for Security (CERIS), Disaster Resilient Societies Meeting, https://home-affairs.ec.europa.eu/whats-new/events/ceris-annual-event-2024-disaster-resilient-societies-local-international-cooperation-2024-06-05_en, opens an external URL in a new window

 

06/06/2024: Stefan Rass was appointed as a national expert to the standardization committee of the Austrian Association for electrical engineering, specifically in the “ASI/OVE Technical Committee Quantum Technologies, opens an external URL in a new window"

 

Congratulation to you, Dr. Michael Vierhauser! 

28/05/2024: Our colleague DI Dr. Michael Vierhauser was awarded his habilitation for the subject "Applied Computer Science" on May 28. We congratulate him warmly and wish him all the best for the future. 

warmest regards, 

The Team of LIT Secure and Correct Systems Lab


27/05/2024: Our group adventured on an enriching excursion to Hagenberg. Known for its stunning landscapes and innovative spirit, Hagenberg offered us a blend of scenic beauty and technological advancement. Our visit began with a tour of the Softwarepark Hagenberg, a renowned hub for IT research and development.

After the informative tour, we explored the historic Hagenberg Castle, opens an external URL in a new window, which provided a fascinating glimpse into the region's cultural heritage. The castle's well-preserved architecture and the surrounding gardens offered a serene backdrop for our afternoon. We concluded our day with a visit to a local restaurant, enjoying the regional cuisine and reflecting on the day's experiences. The excursion to Hagenberg was a perfect blend of education, culture, and leisure, leaving us inspired and looking forward to future explorations.

Schloss Hagenberg

17 - 19/04/2024: 2nd International GaAs Quantum Dots Workshop 2024

07/04/2024: Team Gumpelmair et al participated at the 22. Oberbank Linz Marathon relay run. Together we ran a marathon in 3:49:02!

[Translate to Englisch:] 22. Oberbank Linz Marathon Relayrun!

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.