Este es el cuarto episodio de una serie de videos multipartita para documentar mi viaje de aprendizaje público… Primero comenzamos con el Bootcamp de Auditoría de Contratos Inteligentes de Secereum.
El episodio de hoy… Técnicas y Herramientas de Auditoría 101
Mi espacio digital de desahogo - dylandavis.net
Recursos Adicionales
Cronograma
00:00 - Introducción y Prefacio
01:30 - Introducción a Técnicas de Auditoría
02:07 - Técnicas de Auditoría (análisis de Especificaciones/Documentos)
03:46 - Técnicas de Auditoría (revisión de pruebas)
05:08 - Técnicas de Auditoría (análisis estático)
06:42 - Técnicas de Auditoría (fuzzing)
07:40 - Técnicas de Auditoría (verificación simbólica)
09:15 - Técnicas de Auditoría (verificación formal)
11:10 - Técnicas de Auditoría (análisis manual)
12:53 - Firmas de Auditoría
13:47 - Introducción al Proceso de Auditoría
15:51 - Proceso de Auditoría (Leer Documentos/Especificaciones)
17:47 - Proceso de Auditoría (llama a un amigo)
20:19 - Proceso de Auditoría (escribiendo el informe)
21:27 - Proceso de Auditoría (presentar hallazgos)
22:40 - Introducción al Análisis Manual
24:37 - Análisis Manual (Control de Acceso)
26:39 - Análisis Manual (Flujo de Activos)
27:45 - Análisis Manual (Flujo de Control)
30:14 - Análisis Manual (Flujo de Datos)
32:22 - Análisis Manual (Restricciones)
33:51 - Análisis Manual (Dependencias)
35:08 - Análisis Manual (Suposiciones)
37:33 - Análisis Manual (Listas de Verificación)
38:25 - Despedida