@informalincの@josef_widderによるシステム設計、セキュリティ脅威、監査 0:00 イントロ&ロール 1:26アカデミックルーツ 4:19 暗号前の監査 7:07 セキュリティの性質 9:22 デザイン vs ビルド 12:15 監査の限界 14:51 脅威モデリング 17:21 長期セキュリティ 20:13 スコーピング監査 23:28 フルスタックリスク 26:23 コンセンサスとSC 28:54 ブリッジ&レイヤー 31:00 テンダーミント&ラスト 35:01 議定書の構築 38:52 フォーマルスペック 42:29 アノマの考え 43:29 監査プロセス 46:02 言語の選択 48:56 アーリー・インボルブメント 52:16 コストと価値