Verificación formal

Verificación Formal de Reorganizaciones de Blockchain Usando ProVerif

La tecnología blockchain, aunque ampliamente adoptada, enfrenta riesgos de seguridad significativos, como el doble gasto, durante las ramas....

Verificación Formal de Alpenglow | Prueba Matemática del Protocolo de Consenso de Nueva Generación de Solana

La primera verificación formal completa del protocolo de consenso Alpenglow con garantías matemáticas de corrección. Este no es solo otro pr...

Proofcast by rv 105 - Aprende Verificación Formal en 45 minutos con Kontrol

En esta sesión práctica, nos adentramos en lo real: cómo verificar formalmente un contrato inteligente de Solidity utilizando Kontrol. Los i...

Escritura de contratos inteligentes seguros en Move VM con verificación formal - Pratham Prasoon

Modular Summit 3.0 fue un evento de 3 días con los más audaces y brillantes para trazar el camino de las criptomonedas hacia la adopción mas...

Verificación Formal y Ejecución Simbólica | Con Trail Of Bits

¿Qué es la Verificación Formal? ¿Qué es la Ejecución Simbólica? Entrevista a Troy: https://www.youtube.com/watch?v=H52U4ibkf5Q Entrevista a....

08 Detección y Verificación de Seguridad para Contratos Inteligentes 【Cursos de Seguridad Blockchain de Beosin】

Esta serie de cursos de seguridad blockchain es lanzada por Beosin, la empresa líder mundial en seguridad blockchain. El curso incluye una e...

Ponente invitado del Bloque IV: Leo Alt - verificación formal en la pila de Solidity

Leo Alt (@leonardoalt) ofrece una demostración muy especial guiada utilizando herramientas de verificación formal en la pila de Solidity. Aq...

Verificación formal de contratos inteligentes en C# - Allister Beharry - NDC Oslo 2022

La seguridad del código de contratos inteligentes es de suma importancia para la industria de blockchain. Los contratos inteligentes contien...

08 Verificación Formal para Pruebas de Conocimiento Cero

Verificación Formal de Contratos Inteligentes con el Marco de Automatización th2

Esta demostración presenta una solución para la verificación formal de contratos inteligentes escritos en Solidity, implementada con el uso....

ConsensusDays 21 / S1.3 / Verificación Formal de la Tolerancia a Fallos Bizantinos en Blockchain - Vincent Gramoli

Título: Verificación Formal de la Tolerancia a Fallos Bizantinos en Blockchain Autores: Pierre Tholoniat (Universidad de Columbia), Vincent....

2021-07-21 CERIAS - Un Verificador Formal para el Lenguaje Move de la Blockchain Diem

Grabado: 21/07/2021 Seminario de Seguridad CERIAS en la Universidad de Purdue Un Verificador Formal para el Lenguaje Move de la Blockchain D...

Verificación en Tiempo de Ejecución: K Framework para la Verificación Formal de Contratos Inteligentes con Rikard Hjort

ENLACES DE RECOMPENSA: Hermez Network: https://gitcoin.co/issue/hermeznetwork/0xhack/1/100025692 https://gitcoin.co/issue/hermeznetwork/0xha...

Verificación Formal del Algoritmo de Árbol de Merkle Incremental en Dafny (Contrato de Depósito Eth 2)

Franck Cassez describió cómo verificó formalmente el Algoritmo de Árbol de Merkle Incremental utilizado en el Contrato de Depósito Eth2.

Hacia la Construcción de Sistemas de Blockchain Confiables con Ronghui Gu

Ronghui Gu, Profesor Asistente de Ciencias de la Computación, describe su trabajo sobre cómo mejorar la fiabilidad y seguridad de los sistem...

Verificación Formal de Contratos Inteligentes Hecha Fácil (Devcon5)

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

Cardano Blackboard Series #12: ¿Qué es la verificación formal?

En este video, explicamos el concepto de verificación formal, qué es un sistema crítico para la misión y por qué Cardano está construido en....

Verificación Formal de Contratos Inteligentes y Protocolos: Qué, Por Qué, Cómo (Devcon5)

Por Grigore Rosu, Everett Hildenbrandt, Daejun Park, Shuvendu Lahiri "Las pruebas muestran la presencia, no la ausencia de errores" (Dijkstr...

Certik | Ronghui Gu | BlockchainBrad | Verificación Formal | CertikOS | Servicios de Seguridad en Blockchain

BlockchainBrad habla con Ronghui Gu sobre Certik. Certik está construyendo la empresa de ciberseguridad en blockchain más avanzada y utiliza...

Bas Spitters: Contratos Inteligentes y Verificación Formal para la Blockchain

En el Centro de Investigación de Blockchain de Concordium investigamos el diseño de lenguajes de contratos inteligentes, la especificación d...

Verificación formal: el camino hacia la seguridad completa de los contratos inteligentes - Martin Lundfall

Todos los derechos pertenecen a: Conferencia de Blockchain de Stanford 2019 https://cyber.stanford.edu/sbc19

Entrevista a CertiK: Plataforma de Verificación Formal para Contratos Inteligentes y Ecosistemas Blockchain

Dos Gu's (no relacionados) hablan sobre la verificación formal de software y cómo puede ayudar a proteger los sistemas de errores y hackers....

Panel: Verificación Formal

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

Verificación Formal para Solidity

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

Verificación Formal de Contratos Inteligentes - Yoichi Hirai

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

Verificación formal de bytecodes de EVM: Parte 1, la configuración

En este video, demuestro cómo usar Coq para probar la corrección funcional de un fragmento de bytecode de EVM contra una especificación. No....

Verificación Formal de Contratos Inteligentes: Dr. Christian Reitwiessner - IC3-Ethereum Crypto Boot Camp

VERIFICACIÓN FORMAL DE CONTRATOS INTELIGENTES Presentaciones - https://chriseth.github.io/notes/talks/formal_ic3_bootcamp/#/ Dr. Christian R...

Verificación Formal