Systémový návrh, bezpečnostní hrozby a audity s @informalinc @josef_widder 0:00 Intro & Role 1:26 Akademické kořeny 4:19 Audity před kryptografií 7:07 Povaha bezpečnosti 9:22 Design vs Build 12:15 Limity auditů 14:51 Modelování hrozeb 17:21 Dlouhodobá bezpečnost 20:13 Audity rozsahu 23:28 Riziko plného zásobníku 26:23 Konsensus a SC 28:54 Mosty a vrstvy 31:00 Máta a rez 35:01 Tvorba protokolů 38:52 Formální specifikace 42:29 Myšlenky 43:29 Proces auditu 46:02 Volby jazyka 48:56 Brzké zapojení 52:16 Náklady a hodnota