Systemdesign, säkerhetshot och revisioner med @informalinc @josef_widder 0:00 Intro och roll 1:26 Akademiska rötter 4:19 Revisioner före krypto 7:07 Säkerhetens natur 9:22 Design vs Bygga 12:15 Gränser för revisioner 14:51 Modellering av hot 17:21 Långsiktig säkerhet 20:13 Omfattning av granskningar 23:28 Risk för full stack 26:23 Konsensus och SC 28:54 Broar och lager 31:00 Mörmynta och Rost 35:01 Bygga protokoll 38:52 Formella specifikationer 42:29 Anoma tankar 43:29 Revisionsprocess 46:02 Språkval 48:56 Tidigt engagemang 52:16 Kostnad och värde