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

Infos

Event(s):
36th Chaos Communication Congress, 35th Chaos Communication Congress, 31. Chaos Communication Congress
Language(s):
English
Track(s):
Security, Science
Links:
robur
robur
MirageOS
Blog
Twitter
GitHub
Academic website

Statistics

English
138.1 wpm
747.9 spm
systemtcplayerdatabitcodeipnumberserverhostmemoryheadertimevirtualsideocamlnetworkcalledsocketapplicationstatemirageosinternetrouterfilemachineinterfaceconnectionprocessstuffstackclientaddressudpbasicallydescriptorsequencesolo5protocollinktransportunixcpuunikerneltlsmanagementcallstalkkernelsize
46.8% Checking done46.8%
0.0% Syncing done0.0%
0.0% Transcribing done0.0%
53.2% Nothing done yet53.2%