ITF Belgium > Program > Speakers  > Jan Tobias Mühlberg
linkedin twitter facebook email


Jan Tobias Mühlberg    






Jan Tobias Muehlberg works as a research manager at imec-DistriNet, KU Leuven (BE). His is active in the fields of software security, and formal verification and validation of software systems, specifically for embedded systems and low-level operating system components. Tobias is particularly interested in security architectures for safety-critical embedded systems and for the Internet of Things.

Before joining KU Leuven, Tobias worked as a researcher at the University of Bamberg (DE), obtained a Ph.D. from the University of York (UK) and worked as a researcher at the University of Applied Sciences in Brandenburg (DE), where he also acquired his Masters degree.


Back to session

Presentation abstract


In this talk I will present an ongoing line of very practical research that uses Protected Module Architectures (PMAs) to guarantee authenticity, integrity and confidentiality properties of event-driven distributed applications.  PMAs make it possible to protect individual software modules of an application against attacks from other modules or even from a malicious or misbehaving operating system.  Sancus, developed as a collaboration between imec-DistriNet and imec-COSIC, is a PMA that ensures isolation and mutual authentication of software components for lightweight embedded microcontrollers.

Relying on strong security guarantees provided by Sancus, we are working on mechanisms to establish end-to-end trusted paths and to secure control over input and output devices for distributed embedded applications.  Our approach also improves on testability of critical software components by substantially reducing the run-time software Trusted Computing Base (TCB) of application, i.e., the amount of code that is to be inspected or verified to secure an application.  There are many compelling use cases for this technology, which enables the secure deployment and use of distributed software in the IoT and in safety-critical scenarios such as medical devices, the smart grid, or in the automotive sector.  I will present our work in this domain, focusing on an automotive scenario where Sancus is used to secure software on critical control units against a range of attacks.  The talk will be accompanied by a showcase at the ITF-demofloor.


Back to program

Back to speakers


Copyright imec 2017