MP008 Hannes Mehnert
MP3•Episode home
Manage episode 259811430 series 2659583
Content provided by Tim Pritlove. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Tim Pritlove or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Hannes on how he discovered mirageOS, his TLS contribution to the project and the motivation to kick off the mirageOS Hacker Retreat in Marrakesh.
…
continue reading
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
9 episodes