News & Events.

Announcements: Call for Articles AI and Software Engineering: Are we ready? More information here

 

08/07/2021: Our work on "Efficient Construction of Functional Representations for Quantum Algorithms" is presented at the International Conference on Reversible Computation (RC).

01/07/2021: Robert Wille joins the advisory board of Classiq Technologies, a Tel Aviv-based startup working on the development of software for quantum computing.

30/06/2021: René Mayrhofer moderates a panel on Digital Vaccination Passports at ACM WiSec 2021. A recoding of the panel can be accessed here.

28/06/2021: The work of the concept group shaping the profile of a new Technical University Upper Austria is covered in a press release by the State of Upper Austria (in German).

22/06/2021: We present our toolset for Quantum Computing at the International Workshop on Programming Languages for Quantum Computing (PLanQC 2021). Check out our GitHub repo and our web-based tool to try them out!

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

07/06/2021: We discussed with Thomas Stelzer (Prime Minister of Upper Austria) and approx. 40 experts, opinion leaders, etc. about how Upper Austria can further improve its position as a vibrant center for researchers, students, and entrepreneurs (Photo 1, Photo 2). This is also covered in an article "LH Stelzer blickt bereits weit in die Zukunft" by Krone.

26/05/2021: Our work on Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams is presented at the International Symposium on Multiple-Valued Logic (ISMVL).

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

24/05/2021: Our work on SMT-Based Placement for System-on-Chip Design 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 at 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

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

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

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 (Austrian Academy of Sciences (ÖAW), online)

15/04/2021: Armando Rastelli and his work on quantum cryptography 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 (in German).

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

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

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

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 has 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 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 here

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

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"

01/02/2021: We are organizing the PhD Forum at DATE

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. More at this page

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. See more at this page

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

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)

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 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 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 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. Here an article about their work

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

24/11/2020: Talk on Evaluating the Alignment of Sequence Diagrams with System Behavior 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 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 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 presented at the Workshop on Machine Learning for CAD (MLCAD)

12/11/2020: Keynote on Current Developments on Digital Identities 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 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 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 by Robert Wille and colleagues as well as JKQ: JKU Tools for Quantum Computing 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)"

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 by Robert Wille and colleagues is presented at the IEEE SENSORS

22/10/2020: The work on Advanced Equivalence Checking for Quantum Circuits 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 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". Registration

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

14/10/2020: Robert Wille and colleagues present their work on Efficient and Correct Compilation of Quantum Circuits 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 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

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

07/10/2020: Robert Wille gives a talk on Design Automation for Reversible and Adiabatic Circuits at 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 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 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

24/09/2020: Sibylle Möhle-Rotondi wins Best Student Contribution Award 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 by Lukas Burgholzer, and Robert Wille as well as Exploiting Quantum Teleportation in Quantum Circuit Mapping 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 at the 16. nanoNET-meeting (virtual)

18/09/2020: SIGFLAG reaches place 13 at the VolgaCTF 2020 Final

17/09/2020: Michael Riegler gives a talk on Mode Switching from a Security Perspective: First Findings of a Systematic Literature Review 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 at the LIT Lectures (Open Innovation Center, Linz)

16/09/2020: The work on YASSi: Yet Another Symbolic Simulator 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 (virtual)

12/09/2020: The book chapter “An Efficient Nearest Neighbor Design for 2D Quantum Circuits” 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 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" 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, headed by Univ. Prof. Philip Walther, University of Vienna

28/08/2020:The work on ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing 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

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 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 (Computing Conference 2020, virtual). To the video

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

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

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

08/07/2020: Talk by Sibylle Möhle on Four Flavors of Entailment (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 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 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 

27/05/2020: The work on Automatic Design of Droplet-Based Microfluidic Ring Networks 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 (in German) at the 37. Softwarepark Hagenberg IN-Breakfast. To the video

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

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

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. See also this press release by Landesrat Markus Achleitner Neuer wissenschaftlicher Leiter verstärkt internationale Sichtbarkeit des Software Competence Centers Hagenberg (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 (via Zoom)

21/04/2020: The works on Towards Exploring the Potential of Alternative Quantum Computing Architectures and Verification Runtime Analysis: Get the Most Out of Partial Verification 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

20/04/2020: Interview with Robert Wille Online Teaching Seems to Work Well

16/04/2020: Team SIGFLAG is the best CTF-Team in Austria

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

08/04/2020: The book Introducing Design Automation for Quantum Computing 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 (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 (Oberösterreichische Nachrichten) and Corona-App: JKU-Experten verweisen auf Grundrechte (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

03/04/2020: Newspaper article about the new Corona app and announcement of the interview with René Mayrhofer 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 (Mein Bezirk)

17/03/2020: The work on Design and realization of flexible droplet-based lab-on-a-chip devices: From theory to practice 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 (Kepler Tribüne)

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

05/03/2020Article and TV spot (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 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 with Robert Wille who presents the Technology studies at JKU (Oberösterreichische Nachrichten)

26/02/2020: The work on Integer Overflow Detection in Hardware Designs at the Specification Level 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 - 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?" (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 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" 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 (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

23/12/2019: Newspaper article about Adolf-Adam Award 2019 winner Philipp Schwarz: Auf den Spuren des Sherlock Holmes (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

19/12/2019Adolf-Adam Award 2019, 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 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 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 (Kronen Zeitung)

06/12/2019: Article Researchers Prepare for the Age of Quantum Computing as Computers of Tomorrow take on Super Complex Simulations with 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 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 - 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 

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

13/11/2019: Radio Interview with René Mayrhofer about proving identities digitally (Ö1 heute)

12/11/2019: Talk by René Mayrhofer Der Ausweis am Smartphone oder in der Cloud - 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

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

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

30/10/2019: Talk by René Mayrhofer Secure Systems Made in OÖ 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, Linz (Austria)

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

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

23/10/2019: Article Finance Minister Eduard Müller Visits the Johannes Kepler University Linz, 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 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 (Oberösterreichische Nachrichten) 

17/10/2019: Official Opening of the LIT Secure and Correct Systems Lab 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 (Oberösterreichische Nachrichten)

14/10/2019: SIGFLAG team (supported by LIT Secure and Correct Systems Lab) reaches place 45 of 662 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 (Oberösterreichische Nachrichten)

08/10/2019: Newspaper article Computer von morgen (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 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

25/09/2019: Talk by Armando Rastelli and Daniel Huber Highly Entangled Photon Pairs from Semiconductor Quantum Dots at SemiconNano2019, 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 at BRAIN 2019, Bozen-Bolzano (Italy)

23/09/2019: Armando Rastelli gives a talk on Semiconductor Nanostructures as Nearly-Ideal Sources of Quantum Light 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 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, 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 (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, Hefei (China)

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

13/09/2019: Guest talk Nano-system Design: Technology and tools 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 (Heute)

12/09/2019Daniel Huber reveives JKU Early Research Achievement Award 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 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

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 

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 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, 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

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, Miami (USA)

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

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

09/07/2019: Talk by Armin Biere Incremental Inprocessing in SAT Solving at SAT 2019, Lisbon (Portugal)

07-08/07/2019: Armin Biere receives 10 medals (including 7 first places) at SMT Competition 2019, 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!", Eberstalzell (Austria)

25/06/2019TV comment with Michael Roland about Wi-Fi and its security risks (LT1 Oberösterreich)

06/06/2019: The LIT Secure and Correct Systems Lab team members show their work area and their lab activities 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

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

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

17/05/2019: Daniel Huber gives a talk on GaAs quantum dots: A Dephasing-Free Source of Polarization Entangled Photon Pairs at the University of Viena (Austria)

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

29/04-02/05/2019: Johannes Sametinger is Comitee member of SPRINGSIM 2019, Arizona (USA)

24/04/2019: Newspaper article with expert opinion by Armando Rastelli about a new photon source for better quantum networks Neue Photonenquelle für bessere Quantennetzwerke (Der Standard)

03/04/2019: Talk by Armando Rastelli Epitaxial Quantum Dots as Tunable Sources of Entangled and Indistinguishable Photons at DPG Spring meeting, Regensburg (Germany)