MP008 Hannes Mehnert

Mirage Profiles

Hannes on how he discovered mirageOS, his TLS contribution to the project and the motivation to kick off the mirageOS Hacker Retreat in Marrakesh.

LINKS:

• 00:50 Marrakesh
• 01:03 Priscilla - Queen of the Medina
• 01:14 Mirleft
• 02:08 ocaml-tls
• 05:31 Dylan
• 05:43 Andreas Bogk
• 06:01 ICFP Programming Contest
• 07:07 Coq
• 09:31 Network Night Vision
• 10:27 CCC Congress
• 10:32 Onion Routing
• 10:56 TLS
• 11:00 X.509
• 11:04 ASN.1
• 11:14 TLV
• 11:57 David Kaloper
• 13:14 ocaml-asn1-combinators
• 15:53 ocaml-nocrypto
• 19:08 Hannes' blog
• 19:15 Name Server
• 20:04 BTC Piñata
• 22:55 Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation
• 24:14 Lucky Thirteen
• 26:17 Trusted Computing Base
• 26:36 Minix
• 26:39 Intel ME
• 32:05 HalVM
• 32:18 IncludeOS