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.
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| RecordFlux: Facilitating the Verification of Communication Protocols | Sunday | UD2.218A | Security | 13:30 | 13:55 |