Systemdesign, Sicherheitsbedrohungen & Audits mit @informalinc 's @josef_widder 0:00 Einführung & Rolle 1:26 Akademische Wurzeln 4:19 Audits vor Krypto 7:07 Natur der Sicherheit 9:22 Design vs. Bau 12:15 Grenzen von Audits 14:51 Bedrohungsmodellierung 17:21 Langfristige Sicherheit 20:13 Umfang von Audits 23:28 Vollständiges Risiko 26:23 Konsens & SCs 28:54 Brücken & Schichten 31:00 Tendermint & Rust 35:01 Protokolle erstellen 38:52 Formale Spezifikationen 42:29 Anoma Gedanken 43:29 Auditprozess 46:02 Sprachwahl 48:56 Frühe Einbindung 52:16 Kosten & Wert