Trusted Execution Environments and how far to trust them

Modern processors in the server- and desktop world as well as in embedded systems, provide Trusted Execution Environments. These allow for software components to be protected at runtime, even from an untrusted or compromised operating system. In this talk I will discuss how and when to rely on technologies such as Intel SGX, and elaborate on the security guarantees these technologies can provide.


His work and research interests are in software security and formal verification and validation of software systems, specifically in the field of embedded systems and low-level operating system components. He is particularly interested in security architectures for safety-critical embedded systems and for the Internet of Things. Currently he is exploring use-cases for embedded Protected Module Architectures and formal verification techniques that allow the secure deployment and use of distributed event-driven software components. Further fields of his interest cover abstraction techniques, model checking, decision procedures and embedded systems design, focusing on synchronous languages, correctness proofs and the application of automated (formal) testing techniques.

Technology & innovation