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
46.8% Checking done46.8%
0.0% Syncing done0.0%
0.0% Transcribing done0.0%
53.2% Nothing done yet53.2%


Leaving legacy behind

Event
36c3
Date
Dec. 27, 2019, 10:30 a.m.
Language
English
Video-Duration
00:52:11
Statistics
Average whole talk
137.1 wpm
750.8 spm
Average while speakers speak
139.6 wpm
763.2 spm
Speaker
Hannes Mehnert
139.6 wpm
763.2 spm
en:
100.0% Checking done100.0%
0.0% Syncing done0.0%
0.0% Transcribing done0.0%
0.0% Nothing done yet0.0%
Last revision: 4 years, 3 months ago


Domain Name System

Event
35c3
Date
Dec. 29, 2018, 4:10 p.m.
Language
English
Video-Duration
00:42:40
Speaker
Hannes Mehnert
en:
0.0% Checking done0.0%
0.0% Syncing done0.0%
0.0% Transcribing done0.0%
100.0% Nothing done yet100.0%
Last revision: 5 years, 3 months ago


Transmission Control Protocol

Event
35c3
Date
Dec. 27, 2018, 6:10 p.m.
Language
English
Video-Duration
00:39:12
Statistics
Average whole talk
131.8 wpm
708.4 spm
Average while speakers speak
136.0 wpm
727.0 spm
Speaker
Hannes Mehnert
136.0 wpm
727.0 spm
en:
100.0% Checking done100.0%
0.0% Syncing done0.0%
0.0% Transcribing done0.0%
0.0% Nothing done yet0.0%
Last revision: 4 years, 3 months ago


Trustworthy secure modular operating system engineering

Event
31c3
Date
Dec. 27, 2014, 11:45 a.m.
Language
English
Video-Duration
01:01:02
Speaker
Hannes Mehnert
David Kaloper
en:
0.0% Checking done0.0%
0.0% Syncing done0.0%
0.0% Transcribing done0.0%
100.0% Nothing done yet100.0%
Last revision: 3 years, 3 months ago