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