Version Voltron
Speaker: Hannes Mehnert

MirageOS hacker; works at robur.io, develops security protocols (TLS, OTR, ...) for functional operating systems in OCaml; coffeenerd; PhD in mechanised formal verification of the correctness of object-oriented code; programming language and compiler geek
Events in this conference
![]() |
Domain Name System |
![]() |
Transmission Control Protocol |