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