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.
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| Securing Existing Software using Formally Verified Libraries | Saturday | UA2.114 (Baudoux) | Security | 11:30 | 11:55 |