Version 1.7 a new dawn
Speaker: hannes
![Person_large](/congress/2014/Fahrplan/assets/person_large-a1dc981da5d1712bc762f3078f201174.png)
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
Links
Events in this conference
![]() |
Trustworthy secure modular operating system engineering |