Seguridad de contratos inteligentes

Aprende Seguridad en Contratos Inteligentes a partir de Hacks Reales de DeFi | Guía Completa de Seguridad en Web3 (Parte 1)

¡Bienvenido a CodeByAnkita! En este video, comenzamos nuestra guía completa de seguridad en Web3 explorando cómo ocurren realmente los explo...

Auditoría de Contratos Inteligentes: Mejores Prácticas de Seguridad para DeFi | Guía Completa para Principiantes

🔐 ¡Aprende todo sobre la auditoría de contratos inteligentes y las mejores prácticas de seguridad para protocolos DeFi! En esta guía comple...

Las 5 Herramientas Esenciales para Bug Bounty en Web3 | Slither, Echidna, Mithril, Tenderly y Glider

¿Listo para llevar tu juego de bug bounty en Web3 al siguiente nivel? En este video, profundizaremos en las 5 Herramientas para Investigador...

Pruebas de Contratos Inteligentes con Slither Parte 1

Comienza a aprender sobre pruebas específicas de Slither en este ejemplo. Este video es del curso avanzado de Solidity de Metacrafters.io, d...

Usando Slither para Escanear Contratos Inteligentes en Busca de Vulnerabilidades

Aprende a usar Slither para escanear en busca de vulnerabilidades utilizando un contrato de almacenamiento por defecto como ejemplo. Este vi...

Guía de Verificación Formal | Lleva la Seguridad al Siguiente Nivel

$1,000,000 en financiación de auditoría de seguridad de contratos inteligentes está disponible ahora, patrocinado por Guardian. Solicita has...

Cómo Probar Contratos Inteligentes Con Echidna

¡Aprende a usar Echidna para probar invariantes definidos por el usuario en este tutorial! Este video es del curso avanzado de Solidity de M...

Vulnerabilidades en Contratos Inteligentes y Análisis de Herramientas de Seguridad

Vulnerabilidades en Contratos Inteligentes y Análisis de Herramientas de Seguridad Por: Rohit Sathye

Fuzzing de Solidity y Pruebas de Web3 | Ingeniero de Seguridad de Trail of Bits

Repasamos: - Metodologías de prueba - Fuzzing - Análisis estático ¡Con el Ingeniero de Seguridad de Trail of Bits, Troy! 🐦 Troy: https://tw...

$100,000 en Bug Bounty 💸 aprendiendo Auditoría de Smart Contracts a partir de los informes de CODE4RENA!

📥 Descarga el código fuente y materiales: https://academy.fuzzinglabs.com/introduction-to-ethereum-security?coupon=YOUTUBE ¿Cómo convertirs...

Fuzzing de contratos inteligentes de Solidity/Ethereum usando Foundry/Forge

📥 Descarga el código fuente y materiales: https://academy.fuzzinglabs.com/introduction-to-ethereum-security?coupon=YOUTUBE En este video, m...

Cómo hackear contratos inteligentes con Slither y Echinda

🤑 Conviértete en un MAESTRO de blockchain muy solicitado: https://dappuniversity.com/bootcamp CÓDIGO: https://github.com/dappuniversity/Aud...

Audita tus contratos inteligentes de Solidity fácilmente con Slither

Aprende a auditar tus contratos inteligentes de Solidity utilizando una herramienta llamada Slither. #solidity #Slither #defi #tutorial #har...

Construyendo Contratos Seguros: Usa Echidna Como un Profesional | Devcon Bogotá

Visita https://archive.devcon.org/ para acceder a toda la biblioteca de charlas de Devcon con facilidad de filtrado, listas de reproducción,...

Estado del arte del Fuzzing de contratos inteligentes de Ethereum en 2022 [EthCC5]

📥 Descarga las diapositivas: https://academy.fuzzinglabs.com/introduction-to-ethereum-security?coupon=youtube El fuzzing es conocido como u...

Josselin Feist & Natalie Chin - Construyendo contratos seguros: Cómo usar fuzzing como un profesional

En este taller, los asistentes obtendrán experiencia práctica en Echidna - un fuzzer de contratos inteligentes de código abierto - para cons...

Serie de Herramientas de Fuzzing: Echidna

La primera de la "Serie de Herramientas de Fuzzing", donde invitamos a expertos en seguridad de blockchain a mostrar una herramienta de fuzz...

¿Qué es la Verificación Formal?

✅ ¡Todos los enlaces de redes sociales y códigos promocionales! 👉 https://linktr.ee/ryanmatta ¿Qué es la Verificación Formal? Según wikiped...

¡Fuzzing de contratos inteligentes en Solidity!

fuzzing de contratos inteligentes EVM (solidity) con pruebas de propiedades (Echidna) #solidity #seguridad #fuzzing #error #echidna En este....

Configuración del Entorno de Pruebas de Contratos Inteligentes en la Nube y Slither 101 - Analizador Estático de Solidity

Mohamed, el fundador de BlokFiny y Blokgames y un investigador de seguridad, presentó una charla sobre la configuración de un entorno de pru...

Fuzzing de Timestamps y Llamadas con Echidna

Ejemplos de cómo hacer fuzzing de timestamps y llamadas en Echidna #Solidity #SmartContract #Ethereum #スマートコントラクト https://solidity-by-exampl...

Análisis de Contratos Inteligentes de Ethereum y Auditoría de Solidity usando Mythril - Seguridad en Blockchain #2

📥 Descarga el código fuente y materiales: https://academy.fuzzinglabs.com/introduction-to-ethereum-security?coupon=YOUTUBE Siguiendo el vid...

Encontrando errores con Echidna

Ejemplo introductorio de cómo usar Echidna para escribir pruebas basadas en propiedades para contratos inteligentes en Solidity. #Solidity #...

Fuzzing de contratos inteligentes de Ethereum usando Echidna - Seguridad en Blockchain #1

📥 Descarga el código fuente y materiales: https://academy.fuzzinglabs.com/introduction-to-ethereum-security?coupon=YOUTUBE En este video, m...

Secereum - Técnicas y Herramientas de Auditoría 101 (Seguridad de Contratos Inteligentes en Ethereum)

Obtén la serie gratuita de Maestría en IA de 30 días 💌: https://insights.gradientlabs.co/ Trabaja conmigo 💪: https://offerings.gradientlab...

Secureum SafeCast #3

Secureum SafeCast #SAFUconSecureum con Josselin Feist de Trail of Bits. - Herramientas - Slither - https://github.com/crytic/slither - Echid...

Ataque de Reentrada ｜Bugs misteriosos ocultos en contratos inteligentes

Comienza con los cuatro aspectos del método de transferencia, función de fallback, código vulnerable y análisis de código fuente, y analiza....

Raymond da una charla sobre análisis estático de contratos inteligentes utilizando Slither

Seguridad por Diseño y Auditorías de Contratos Inteligentes | Shayan Eskandari

Bienvenido a "Seguridad por Diseño y Auditorías de Contratos Inteligentes" con Shayan Eskandari. Esta presentación se realizó el viernes 30....

SEC554: Seguridad en Blockchain y Contratos Inteligentes - Cómo Perder $280 Millones con Una Sola Línea de Código

Curso Afiliado: https://www.sans.org/sec554 Presentado por: Steven Walbroehl Sígueme aquí: https://twitter.com/halbornsteve Blockchain y los...

Recorrido por la base de código de Slither

Hacking de Contratos Inteligentes - 0x0D - Solucionando Autorización con Modificadores

Solucionando problemas de autorización y lógica de negocio en el contrato inteligente vulnerable. Del Blog de The Console Cowboys https://co...

DEF CON Modo Seguro Pueblo Blockchain - Martin Abbatemarco - 7 Fases del Hacking de Contratos Inteligentes

7 Fases del Hacking de Contratos Inteligentes

Dan Guido: Trail of Bits – La Evolución de la Seguridad en Contratos Inteligentes #346

Al igual que todo software, los contratos inteligentes en la blockchain están sujetos a serias vulnerabilidades de seguridad y errores de co...

Ethainter - Un Analizador de Seguridad de Contratos Inteligentes para Vulnerabilidades Compuestas

Taller sobre Pruebas de Contratos Inteligentes

Veronica Zheng, ingeniera en Coinbase, dirigió un taller sobre pruebas de contratos inteligentes. En este taller práctico, cubrimos cómo pro...

Slither: Cómo funciona y cómo usarlo

Grabación de las horas de oficina de Trail of Bits del martes 22 de enero de 2019. Esto refleja Slither v0.5.1. Más información sobre las ho...

Anatomía de un Lenguaje de Programación de Contratos Inteligentes Inseguros

Esta charla disecciona Solidity: el lenguaje de programación de contratos inteligentes más popular. Se discuten varios ejemplos de su compor...

Pruebas de propiedades con Echidna y Manticore para contratos inteligentes seguros

Las pruebas basadas en propiedades son una herramienta increíblemente simple y poderosa para el descubrimiento de errores, pero a pesar de s...

Blockchain y contratos inteligentes: Relevancia de los hechos y mitos de seguridad en el control industrial

La charla sobre blockchain y contratos inteligentes de Richard R. Brooks de la Universidad de Clemson en la Conferencia de Ciberseguridad In...