Version 1.7 a new dawn

Speaker: hannes

Person_large

hacker; 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