Este é o episódio 4 de uma série de vídeos para documentar minha jornada de aprendizado público... Primeiro, começamos com o Secereum - Bootcamp de Auditoria de Contratos Inteligentes.
O episódio de hoje… Técnicas e Ferramentas de Auditoria 101
Meu espaço digital de descarte - dylandavis.net
Recursos Adicionais
Cronograma
00:00 - Introdução e Prefácio
01:30 - Introdução às Técnicas de Auditoria
02:07 - Técnicas de Auditoria (análise de Especificações/Documentos)
03:46 - Técnicas de Auditoria (testes de revisão)
05:08 - Técnicas de Auditoria (análise estática)
06:42 - Técnicas de Auditoria (fuzzing)
07:40 - Técnicas de Auditoria (verificação simbólica)
09:15 - Técnicas de Auditoria (verificação formal)
11:10 - Técnicas de Auditoria (análise manual)
12:53 - Empresas de Auditoria
13:47 - Introdução ao Processo de Auditoria
15:51 - Processo de Auditoria (Ler Documentos/Especificações)
17:47 - Processo de Auditoria (ligar para um amigo)
20:19 - Processo de Auditoria (escrevendo relatório)
21:27 - Processo de Auditoria (apresentar descobertas)
22:40 - Introdução à Análise Manual
24:37 - Análise Manual (Controle de Acesso)
26:39 - Análise Manual (Fluxo de Ativos)
27:45 - Análise Manual (Fluxo de Controle)
30:14 - Análise Manual (Fluxo de Dados)
32:22 - Análise Manual (Restrições)
33:51 - Análise Manual (Dependências)
35:08 - Análise Manual (Suposições)
37:33 - Análise Manual (Listas de Verificação)
38:25 - Conclusão