Systeemontwerp, beveiligingsbedreigingen en audits met de @josef_widder van @informalinc 0:00 Intro & Rol 1:26 Academische wortels 4:19 Audits vóór crypto 7:07 Aard van de beveiliging 9:22 Ontwerp versus bouwen 12:15 Limieten van audits 14:51 Modellering van bedreigingen 17:21 Beveiliging op lange termijn 20:13 Scoping Audits 23:28 Full Stack Risico 26:23 Consensus & SC's 28:54 Bruggen en lagen 31:00 Tendermint & Roest 35:01 Protocollen bouwen 38:52 Formele specificaties 42:29 Anoma Gedachten 43:29 Auditproces 46:02 Taalkeuze 48:56 Vroege betrokkenheid 52:16 Kosten en waarde