Best Paper Award at SEFM 2020

Renata Martins Gomes from the EAS Group at ITI, in collaboration with Bernhard Aichernig and Marcel Baunach, has received the best paper award at the 18th interntaional Conference on Software Engineering and Formal Methods (SEFM 2020) for the publication “A Formal Modeling Approach for Portable Low-Level OS Functionality”. Congratulations!

Past News and Events

Succesful PhD defense

Dr. Bernhard Grosswindhager successfully defended his PhD thesis entitled "Robust, Efficient, and Scalable UWB-based Positioning using Multipath and Quasi-simultaneous Transmissions", congratulations!

Succesful PhD defense

Markus Tranninger from Subproject "Dependable Networked Control" has successfully defended his PhD thesis in March 2020. Congratulations!

Newly opened TU Graz-SAL Dependable Embedded Systems Lab (DES LAB)

A TU Graz-SAL Dependable Embedded Systems Lab (DES LAB) is now being launched, headed by Prof. Bernhard Aichernig. Top computer scientists from TU Graz, among others three other key-researchers from the LEAD project, will be working here together with researchers from SAL on the development of new methods to make intelligent and networked systems safer. To this end, the DES Lab will conduct interdisciplinary basic research in the areas of testing, verification, machine learning, optimisation and hardware-related software development with a special focus on security and dependability.

Successful PhD defense

Martin Tappler from Subproject "Dependable Composition" has successfully defended his PhD thesis in December 2019. Congratulations!

Invited talk by Prof. Kim G. Larsen (Aalborg University)

Prof. Kim G. Larsen, from Aalborg University will give an invited talk on "Synthesis of Safe, Optimal and Compact Strategies for Cyber-Physical Systems". Please find details here.

Guest lecture on "Selected Topics of Digital Signal Processing (Information Theoretic Security)" by Dr. Matthieu Bloch

A guest lecture on "Selected Topics of Digital Signal Processing (Information Theoretic Security)" will be held by Dr. Matthieu Bloch from School of Electrical and Computer Engineering, Georgia Institute of Technology.
The objective of this course is to cover the foundations of information-theoretic security, from the core information theoretic principles to the practical algorithms. Both the principles and algorithms are developed from four primitives that form building blocks to study a broad range of problems: channel coding, source coding with side information, channel output approxima- tion, channel randomness extraction. In particular, the notion of channel output approx- imation, which captures the problem of approximating the output statistics of a noisy channel, is put forward as a natural coding mechanism to operationalize what it means for a message to be transmitted with information-theoretic secrecy. Similarly, the notion of channel randomness extraction, also known as privacy amplification, is put forward as the coding mechanism to extract secret randomness from noisy observations. This unified and coherent treatment leads to powerful and conceptually simple information-theoretic proofs that naturally translate into algorithms. Practical coding for information-theoretic security is a seldom covered topic and might appeal to security practitioners and systems engineers.
Please find further information here and register for the course through TUG Online.

Best paper award at ICTSS 2019

Paris, France, October 15-17, 2019

The paper entitled "Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning" presented by Martin Tappler at the 31st IFIP WG 6.1 International Conference (ICTSS 2019) won the best paper award. This article is a result of the collaboration between the "Dependable Composition" and "Dependable Networked Control" sub-projects.

Prof. Grigore Stamatescu wins JESH Scholarship to visit the LEAD project

Summer School on Security and Correctness in the IoT

The LEAD project organized the 3rd edition of the very successful summer school on Security and Correctness in the IoT in September 2019. Please find further information here.

Guest lecture on "Activity Sensing and Localization in Indoor Environments" by Prof. Omprakash Gnawali

A guest lecture will be held by Prof. Omprakash Gnawali, who is visiting TU Graz from the University of Houston.
When: 12:30, June 3, 2019
Where: NXP Semiconductors Lecture room (Inffeldgasse 16, 1st floor)
Title: Activity Sensing and Localization in Indoor Environments
Abstract: Sensing people and mobile objects in indoor environments are key building blocks of many smart building applications. In this talk, I will share some recent results from my research in indoor localization and people sensing in buildings. We have developed new ways to use ultra sonic sensing to count and track people in buildings while ensuring privacy. We have made ultra-wide band radio based indoor localization more accurate, efficient, and scalable. I will also describe what we learned from evaluating these approaches on long and short-term deployments in buildings and on test-beds.

Best paper award for Bernhard Grosswinhager at IEEE/ACM IPSN 2019

Guest lecture on "Array Signal Processing Techniques" by Prof. Bernard Fleury

A guest lecture on "Array Signal Processing Techniques" will be held by Prof. Bernard Fleury from Aalborg University, Denmark between May 27 and June 13, 2019. Further detail can be found here. Please register for the course through TUG Online.

Abstract: "The scope addressed in the course is line-spectral estimation using an array of sensors. Line spectral estimation is a fundamental task that is encountered in many scientific and technical disciplines. Examples include direction of arrival estimation using sensor arrays, bearing and range estimation in synthetic aperture radar, channel estimation in wireless communications, monitoring of seismic activity, and simulation of atomic systems in molecular dynamics.
The course aims at initiating the attendees into the most relevant and widely used techniques for line spectral estimation, such as beamforming, MUSIC, ESPRIT, maximum-likelihood estimation, and variational mean field.

Fulbright Scholarship for Prof. Poellabauer to work with LEAD Project

Prof. Christian Poellabauer, University of Notre Dame, IN, USA, wins a Fulbright Scholarship to work as a visiting professor with the LEAD project for one semester in 2019.

Encryption for the IoT

The ASCON crypto algorithm for resource-constrained IoT devices, which was co-developed by LEAD project associated researcher Maria Eichelseder, has been selected by an international jury and recommended to become a standard means of encryption in the IoT.

Practical Enclave Malware Demonstrated

Cybersecurity Campus Graz

The oustanding security research of LEAD project key researcher Stefan Mangard attracted SGS, a leading international test and certification company, to open a unique joint research and test center on security and IoT on TU Graz campus.

Successful mid-term review

Fourth Edition of the Dependability Competition

The LEAD project organized the fourth edition of the Dependability Competition in conjunction with EWSN 2019 in Beijing, China. This year, 12 international teams, many of them including industry partners, were competing for the most dependable IoT networking solution. Please find more information here.

Dagstuhl Winter School on Operating Systems

The LEAD project co-organized the second edition of the Winter School on Operating Systems with a focus on dependable operating systems. The inaugural edition of the school was held 2016 in Graz, the second edition took place at Schloss Dagstuhl in Germany.

Bernhard Grosswindhager wins Marshall Plan Scholarship

Bernhard Grosswindhager, PhD student with the LEAD project, wins a Marshall Plan Scholarship for his three-month research visit at Prof. Prabal Dutta's group at UC Berkeley in fall 2018.

Invited talk by Prof. Joh Hughes, Chalmers University, Sweden

John Hughes, the inventor of property-based testing (QuickCheck), gave a talk entitled "Abuses of property-based testing... and what to do about them".
Time: Thursday, 8.11.2018, 14:00 s.t. Place: Seminarraum IGI, Inffeldgasse 16b, 1. Stock
Abstract: Property-based testing is very appealing in principle: instead of writing unit tests, one at a time, we write general properties of our code, and a PBT tool will generate thousands of random test cases for each property. In practice, developers often find properties hard to come up with--but they do have ideas for unit tests. All too often, they write properties just by generalizing unit tests a little. This is both costly, and leads to poor testing. But those unit test ideas can instead be used as test case classifiers--in which case they can reveal weaknesses in property-based tests caused by a poor choice of random distributions. Thus the harmful anti-pattern becomes a helpful tool. I'll explain how this works with reference to a number of simple, but realistic examples.

Summer School on Security and Correctness in the IoT

The LEAD project organizes the second edition of the very successful summer school on Security and Correctness in the IoT in September 2018. Please find further information here. 

LEAD Project Featured on Austrian TV

The research of the LEAD project was featured in the "Newton" shown on IoT broadcast by the Austrian national TV station ORF. 

LEAD Summer School on Network Systems

The LEAD project was organizing a Summer School on Network Systems between July 17 and 20, 2018 at TU Graz. See  https://www.tugraz.at/projekte/dependable-things/events/summer-school-on-networked-systems/.

Cryptography and Microcontrollers course will be held by Prof. Steffen Reith

Prof. Reith from RheinMain University is visiting the LEAD project from March 05 to March 23, and from June 11 to June 15 and will also offer a course on "Cryptography and Microcontrollers". Registration and details here.

2nd Symposium on Dependable Internet of Things on June 5, 2018

The LEAD project is organizing the second Symposium on Dependable Internet of Things on June 5, 2018 at TU Graz. The symposium is co-located with the IEEE Symposium on Industrial Embedded Systems (SIES) which we organize from June 6 to 8, also at TU Graz. See http://sies2018.tugraz.at.

Visiting researcher Prof. Salil Kanhere from UNSW, Australia

Presentation by Prof. Nils Jansen on "Motion Planning under Uncertainty and Partial Observability"

Prof. Nils Jansen from Radboud University was visiting the LEAD project and gave a presentation March 7, 15:00-17:00. Location: Seminar room IAIK, IFEG042,  Inffeldgasse 16a, EG.

Title: Motion Planning under Uncertainty and Partial Observability

Abstract: The subject of this talk are motion planning problems where agents move inside environments that are subject to uncertainties and potentially not fully observable. The goal is to compute a strategy or a set of strategies for an agent that is guaranteed to satisfy certain safety or performance specifications. Such problems are naturally modeled by Markov decision processes (MDPs) or partially observable MDPs (POMDPs). We discuss several technical approaches, ranging from the computation of permissive strategies that guarantee safe reinforcement learning in unknown environments, a game-based abstraction framework for POMDPs, as well as the utilization of parameter synthesis for Markov chains to compute randomized strategies for POMDPs. We also consider preliminary work on actively including humans into verification and synthesis processes, and what challenges arise.

Course was held by Prof. Stefan Katzenbeisser on Secure Computing

DETAILS & REGISTRATION: 705.070, 705.071 Selected topics in Design & Verification - Secure Computing
DATES & TIMES: Mo 26 Feb - Do 1 Mar, 9-12 und 13-15
Secure Computation has emerged as a central cryptographic tool to construct applications that handle sensitive data on untrusted platforms. The course gives an overview of the most common constructions, based on either homomorphic encryption or on "garbled circuits". Furthermore, the lecture will discuss prominent applications as well as programming paradigms for secure computation.
BIO: Stefan Katzenbeisser received his Ph.D. in Computer Science at Vienna University of Technology and is Full Professor at the Computer Science Department at the Technische Universität Darmstadt, Germany. He is professor for Security Engineering at the department of computer science at the Technical University Darmstadt.  After studying computer science at the Technical University of Vienna, he worked as a senior scientist at Philips Research in Eindhoven. Mr. Katzenbeisser is currently working on security of critical Infrastructures, secure embedded systems and issues of data protection.

Prof. Martin Horn establishes new Christian Doppler Laboratory

Prof. Martin Horn, key researcher in the LEAD project, won a prestigious grant to establish a new Christian Doppler Laboratory with a duration of up to 7 years. This new laboratory will investigate new control paradigms for test benches, and will further strengthen the LEAD sub-project on networked control.

Major in Internet of Things

The research centre Dependable Internet of Things at TU Graz has designed a master’s degree programme in order to specialise in areas related to a dependable Internet of Things. The programme is based on the well-established master’s degree programme in Information and Computer Engineering (ICE) and offers a Major in the Internet of Things. Details can be found here: http://www.tugraz.at/go/major-iot.

EWSN 2018 Dependability Competition

Madrid, Spain, February 2018
Researchers from the LEAD project will organize the 3rd edition of the EWSN dependability competition to compare the performance of WSN and IoT communication protocols in harsh RF environments. A summary about the results and lessons learned from the previous editions can be found here. This year's dependability competition will have a new format compared to the past two editions, the most prominent changes being that it will take place remotely over a longer time window, and that it will involve the reporting of multiple events from several nodes.

Invited talk by advisory board member Prof. Karl H. Johansson, KTH

LEAD project advisory board member Prof. Karl H. Johansson (KTH Stockholm) gave an invited lecture entitled "New control and networking paradigms for cyber-physical systems" during the Colloquium of the Field of Expertise "Information, Communication & Computing", on Oct 12, 3 p.m. in lecture hall HS i3, Inffeldgasse 25D, 8010 Graz.

LEAD project presented to Rectors of European Universities of Technology

The key researchers presented the LEAD project to about 60 rectors of European universities of technology in the course of the 36th Conference of Rectors and Presidents of European Universities of Technology that took place at TU Graz Sept 15-16, 2017. Please find details here. 

1st Dependable Things Symposium 2017

09:00-18:00, Sept 11, 2017
Location: TU Graz
The “1st DependableThings Symposium” is a single-day event organized by the LEAD Project. The same venue will be hosting a Workshop on "Dependable Wireless Communications and Localization for the IoT" on Sept. 12, 2017, organized in collaboration with the COST Action IRACON (Inclusive Radio Communication Networks for 5G and Beyond). More information can be found: here and http://www.iracon.org.

Invited talk by the distinguished guest lecturer Prof. Kim G. Larsen at FoE Colloquium

14:00, May 31, 2017, TU Graz, Austria
Location: HS F (NT03), Kopernikusgasse 24, 3rd floor
Prof. Kim G Larsen, Aalborg University is a visiting professor with the LEAD project. Among others, he will offer a lecture on cyber-physical systems and an invited talk on the same subject. Please find details here.

Course will be held by the distinguished guest lecturer Prof. Kim G. Larsen

22 May- 2 June, TU Graz, Austria
We have the pleasure to announce a course held by Prof. Kim G. Larsen. Kim is prime investigator of thereal-time model checker UPPAAL, ERC Advanced Grant holder and has been cited 21778 times (h-index 71, Google Scholar). The course titled "Selected Topics in Computer Science (From Timed Automata to Stochastic Hybrid Games)” will be held as a block course from the 22nd of May to the 2nd of June. It is a combination of lecture and practicals (3 VU) and intended for doctoral and master students. The course is funded by the LEAD project Dependable Things. Details and registration here.

EWSN 2017 Dependability Competition

Uppsala, Sweden, February 18-19, 2017
Researchers from the LEAD project have organized the 2nd edition of the EWSN dependability competition, in which 10 teams from academia and industry have battled to provide the most dependable networking solution for wirelessly networked embedded systems operating in environments rich with radio interference. A summary about the results and lessons learned can be found here.

Microwave Theory and Techniques Society (MTT-S) Graduate Fellowship

IMS 2017 Student’s Luncheon in Honolulu, HI, USA June 8, 2017
Mustafa Bakr from the "Dependable Wireless Communication and Localization" subproject has received the Microwave Theory and Techniques Society (MTT-S) Graduate Fellowship for 2017.

LEAD Spring School 2017

Graz, Austria, May 8-12, 2017
The LEAD project organizes a Spring School on "Security and Correctness in the Internet of Things", registration deadline April 16, 2017. During the five-day school, participants will gain awareness of these IoT-related challenges. Introductory classes are supplemented by advanced courses in the area of system security, cryptography as well as software and hardware side-channels. During spare time participants are invited to enjoy the beautiful spring in Graz and attend organized events. For further information please visit: school.iaik.tugraz.at.

EWSN 2017 Conference and Dependability Competition

Uppsala, Sweden, February 20-22, 2017
The International Conference on Embedded Wireless Systems and Networks (EWSN) is a highly selective single-track international conference focusing on premier research results at the intersection of embedded systems and wireless networking. The featured topic of the 2017 edition of EWSN is “Dependability”. The conference specifically welcomes contributions that aim at making networked embedded systems more reliable, predictable, safe, and secure in order to enable critical applications that require guaranteed performance. EWSN 2017 will also host a competition on dependability organized by a researcher working in the LEAD project, as well as two workshops in emerging areas focusing on novel embedded communication paradigms and on next-generation wireless embedded computing platforms. For more information please visit: http://www.ewsn2017.org/

Guest lecture by Bernhard Etzlinger from JKU Linz

Date: November 18, 2016, at 13:30.
Location: TU Graz, Inffeldgasse 16c, Room: IDEG134
Title: Simultaneous Localization and Synchronization
Localization is a commonly accepted feature in today’s wireless networks. However, the availability of location information is bound to the use of specific hardware components (e.g. GPS receivers or UWB ranging devices), which are prohibitive on low-cost wireless communication hardware. Efforts to close this gap have lead to research activities on time-based localization in asynchronous wireless networks, which triggered the field of simultaneous localization and synchronization (SLAS). In this talk two practically relevant scenarios for SLAS are considered, and the most popular solution strategies are revisited. These strategies include classical and Bayesian estimation based on linearization, semidefinite relaxation or message-passing. Moreover, a network implementation of distributed SLAS is discussed, and open issues in current developments are leveraged.

LEAD Project at Industry.Tech'16

Zell am See, Austria, Nov. 9-10, 2016
Smart production and Industry 4.0 are the focus of the Industry.Tech 2016 symposium, bringing together leading players from industry and academia. Prof. Römer will give an invited presentation on a dependable Internet of products and production systems.

COMET K1 Research Center Pro2Future on Future Products and Production Systems

Four key researchers of the LEAD project will lead the research area 'Cognitive Products' in the COMET K1 Research Center Pro2Future on Future Products and Production Systems coordinated by Johannes Kepler University of Link. For more information visit this Webpage (in Germany only).

LEAD Project at Green Tech Innovators Club

Graz, Austria, Oct. 19, 2016
The Styrian Green Tech Cluster is a leading cooperation of industry and academic partners in the areas of green energy, buildings, and resources. The LEAD project will be presented at the Innovators Club, organized by the cluster on October 19.

LEAD Project at Grazer Herbstmesse

Graz, Austria, Sept. 29 - Oct. 3, 2016
The LEAD project will be present with a booth in the FutureWorld science exhibitation at the Grazer Herbstmesse with expected 70.000 visitors. We will show two demonstrators on autonomous platooning of trucks and accurate positioning of trucks, with a special emphasis on how radio interference can disturb these functions.

14. Workshop on „Automotive Software Engineering“  

Klagenfurt, Austria, Sept. 27, 2016
The 14. Workshop on "Automotive Software Engineering" addresses methods and tools for the development of dependable software for future cars on their way towards smart mobility and autonomous driving.

Course on 'Dependable Internet of Things Communications' during the Microsoft Summer School on Internet of Things

Kazan, Russia, July 16-24, 2016
Members of the LEAD project will deliver a course on "Dependable Internet of Things Communications" at the Microsoft Summer School on Internet of Things (SSIoT) held in Kazan, Russia. The course illustrates state-of-the-art low-power wireless communication protocols and gives an overview of the influence of the environment on their performance. It also discusses the challenges in understanding and predicting the environmental impact, examples of environment-aware communication protocols, as well as the common issues in implementing complex functionalities on resource-constrained smart objects. The participants also have the chance to gain hands-on experience and apply learned concepts through practical exercises using the Contiki operating system.

Nikola Tesla Lecture by Prof. Friedemann Mattern

Graz, Austria, June 9, 2016
Prof. Friedemann Mattern, professor of computer science at ETH Zurich and currently visiting professor at the Institute of Technical Informatics at TU Graz, will deliver this year's Nikola Tesla Lecture "The Internet of Things and the new digital revolution" on June 9 at 18:00 in the Ulrich-Santner lecture hall.

Long Night of Research

Graz, Austria, April 22, 2016
Dedicated station for Dependable Things at the Lange Nacht der Forschung on April 22, 2016: "Wie sicher ist unsere smarte, neue Welt?"- "How dependable is our smart new world?". More information available here.
Self-driving cars, individual product from the assembly line, and tiny sensors in aqueducts: in the near future the Internet of Things will permeate our daily lives with smart objects operating autonomously. However, in safety-critical application scenarios such as road traffic, they will be expected to operate dependably.
At the long night of research we have shown, among others, how environmental effects such as temperature variations and radio interference can affect these systems and what one can do about it. To get a flavour, check out this video:

COSADE 2016 Workshop

Graz, Austria, April 13-15, 2016
Side-channel analysis (SCA) and physical attacks have become an important field of research at universities and in the industry. In order to enhance the resistance of cryptographic and security critical implementations within the design phase, constructive attacks and analyzing techniques may serve as a quality metric to optimize the design and development process. Since 2010, COSADE provides an international platform for researchers, academics, and industry participants to present their work and their current research topics. It is an excellent opportunity to exchange on new results with international experts and to initiate new collaborations and information exchange at a professional level. The workshop will feature both invited presentations and contributed talks.

Next-Generation IoT Workshop

Los Angeles, CA, USA, March 31 - April 1, 2016
The LEAD project coordinator contributed to the "US-Europe Invited Workshop on Next-Generation Internet of Things" where future IoT research challenges have been identified. A report on these findings is now available here.

Dialogue with Industry at TU Graz

Graz, Austria, March 8, 2016
Industry dialogue talk in the Aula of TU Graz on March 8 at 19:00: "Cyber Physical Systems - Die Technologie für alle Lebenslagen". Both the coordinator of the DependableThings center Prof. Kay Römer, as well as the deputy head, Prof. Roderick Bloem will be invited speakers in the panel with industry.

Great Success for EWSN 2016!

Graz, Austria, February 15-17, 2016
Great success for the EWSN 2016 conference held in Graz on February 13-17. Among others, the conference also hosted a dependability competition during which 11 teams from academia and research institutions from all over the world have battled to provide the most reliable and efficient networking solution for wirelessly networked embedded systems operating in environments rich with radio interference. The results and awards have been presented on Tuesday morning during a plenary dedicated dependability competition session. More information is available here.

WSOS 2016 - Winter School on Operating Systems

Graz, Austria, February 22-26, 2016
Das Fachgruppentreffen sowie die Winter School on Operating Systems widmet sich daher dem Einfluss von Systemsoftware auf die Verlässlichkeit (Dependability) Eingebetteter Systeme.

EWSN 2016 - International Conference on Embedded Wireless Systems and Networks

Graz, Austria, February 15-17, 2016
The International Conference on Embedded Wireless Systems and Networks (EWSN) is a highly selective single-track international conference focusing on premier research results at the intersection of embedded systems and wireless networking – an area of highest relevance for visionary technologies such as the Internet of Things or Cyber-Physical Systems and application domains such as Smart Production, Smart Cities, or Connected Cars. The featured topic of the 2016 edition of EWSN is “Dependability”, i.e., on solutions that aim at making networked embedded systems more reliable, predictable, safe, and secure in order to enable critical applications that require guaranteed performance.

Guest Lecture by Prof. Fredrik Tufvesson

Graz, Austria, January 22, 2016
Prof. Fredrik Tufvesson from Lund University will deliver a guest lecture entitled "Massive MIMO - from theory to practice" at TU Graz on January 22, 2016, at 14:00 in the Seminar Room IDEG134, Inffeldgasse 16c, ground floor.

LION 2015 - IEEE GLOBECOM Workshop on Localization for Indoors, Outdoors, and Emerging Networks

San Diego, CA, USA, December 6-10, 2015
Localization and tracking technologies for portable devices use a wide variety of networks including cellular, satellite, and WiFi, and are critical for a wide range of applications such as navigation, E911 response, location-based services, location-dependent advertising, and location-based smartphone apps. Technologies for these "conventional" use cases will continue to advance as a result of improved algorithms, better fusion of multiple tracking modes, new network architectures, and improved sensor technologies.
The workshop aims to attract recent work in all areas of localization, with an emphasis on physical-layer techniques.

Guest lecture by Simon Haykin: Cognitive Risk Control

Graz, Austria, November 9, 2015
Location: TU Graz, Lecture Hall i11, Inffeldgasse 16b, basement.

ISSSC 2015 - International Summer School on Smart Cars

Seggau, Austria, September 6 – 12, 2015
Smart and self-driving cars will change our daily lives significantly and are expected to have a transformational impact on society. First test drives with individual vehicles have already been successful and raise high expectations on future mobility concepts. These range from more convenience in travelling, over accident prevention and improved road logistics, to completely self-organizing traffic with a vast number of fully autonomous and seamlessly interacting cars. Realizing these visions requires substantial research on automotive embedded computing and networking in order to manage the significantly increased complexity of real-time information processing. The goal of this one-week summer school is to survey fundamental and applied aspects of embedded automotive computing and networking for Smart Cars, as well as to identify novel opportunities and research directions in related areas through a series of lectures held by international experts.