Brussels / 2 & 3 February 2019


Tobias Reiher

Tobias Reiher is security architect at Componolit and research assistant at the Chair of Privacy and Security at TU Dresden. 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
RecordFlux: Facilitating the Verification of Communication Protocols Sunday UD2.218A Security 13:30 13:55