Brussels / 1 & 2 February 2020


Tobias Reiher

Tobias Reiher is security architect at Componolit. He is interested in systems security and focuses on the specification and verification of communication protocols. Previously, he did research on compiler-based isolation of security-critical application parts and secure cloud applications based on trusted execution environments. He has practical experience in implementing communication security in high-assurance systems.


Title Day Room Track Start End
Securing Existing Software using Formally Verified Libraries Saturday UA2.114 (Baudoux) Security 11:30 11:55