Conception de systèmes, menaces de sécurité et audits avec @informalinc 's @josef_widder 0:00 Introduction & Rôle 1:26 Racines académiques 4:19 Audits avant la crypto 7:07 Nature de la sécurité 9:22 Conception vs Construction 12:15 Limites des audits 14:51 Modélisation des menaces 17:21 Sécurité à long terme 20:13 Définition des audits 23:28 Risque Full Stack 26:23 Consensus & SCs 28:54 Ponts & Couches 31:00 Tendermint & Rust 35:01 Construction de protocoles 38:52 Spécifications formelles 42:29 Pensées sur Anoma 43:29 Processus d'audit 46:02 Choix de langage 48:56 Implication précoce 52:16 Coût & Valeur