Verificação formal

Verificação Formal de Reorganizações de Blockchain Usando ProVerif

A tecnologia blockchain, embora amplamente adotada, enfrenta riscos de segurança significativos, como o gasto duplo, durante ramificações te...

Verificação Formal Alpenglow | Prova Matemática do Protocolo de Consenso de Próxima Geração da Solana

A primeira verificação formal completa do protocolo de consenso Alpenglow com garantias matemáticas de correção. Este não é apenas mais um p...

Proofcast by rv 105 - Aprenda Verificação Formal em 45 minutos com Kontrol

Nesta sessão prática, vamos ao que realmente importa: como verificar formalmente um contrato inteligente em Solidity usando o Kontrol. Os en...

Escrevendo Contratos Inteligentes Seguros na Move VM com Verificação Formal - Pratham Prasoon

O Modular Summit 3.0 foi um evento de 3 dias com os mais audaciosos e brilhantes para traçar o caminho da criptomoeda para a adoção em massa...

Verificação Formal & Execução Simbólica | W/ Trail Of Bits

O que é Verificação Formal? O que é Execução Simbólica? Entrevista com Troy: https://www.youtube.com/watch?v=H52U4ibkf5Q Entrevista com Joss...

08 Detecção e Verificação de Segurança para Contratos Inteligentes 【Cursos de Segurança em Blockchain da Beosin】

Esta série de cursos de segurança em blockchain é lançada pela Beosin, a principal empresa de segurança em blockchain do mundo. O curso cont...

Palestrante Convidado do Bloco IV: Leo Alt - verificação formal na pilha Solidity

Leo Alt (@leonardoalt) apresenta uma demonstração muito especial com um passo a passo utilizando ferramentas de verificação formal na pilha....

Verificação formal de contratos inteligentes em C# - Allister Beharry - NDC Oslo 2022

A segurança do código de contratos inteligentes é de extrema importância para a indústria de blockchain. Contratos inteligentes contêm as im...

08 Verificação Formal para Provas de Conhecimento Zero

Verificação Formal de Contratos Inteligentes com o Framework de Automação th2

Esta demonstração apresenta uma solução para a verificação formal de contratos inteligentes escritos em Solidity, implementada com o uso do....

ConsensusDays 21 / S1.3 / Verificação Formal da Tolerância a Falhas Bizantinas em Blockchain - Vincent Gramoli

Título: Verificação Formal da Tolerância a Falhas Bizantinas em Blockchain Autores: Pierre Tholoniat (Universidade de Columbia), Vincent Gra...

2021-07-21 CERIAS - Um Verificador Formal para a Linguagem Move da Blockchain Diem

Gravado: 21/07/2021 Seminário de Segurança CERIAS na Universidade Purdue Um Verificador Formal para a Linguagem Move da Blockchain Diem Davi...

Verificação em Tempo de Execução: K Framework para Verificação Formal de Contratos Inteligentes com Rikard Hjort

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

Verificação Formal do Algoritmo de Árvore de Merkle Incremental em Dafny (Contrato de Depósito Eth 2)

Franck Cassez descreveu como ele verificou formalmente o Algoritmo de Árvore de Merkle Incremental utilizado no Contrato de Depósito Eth2.

Rumo à Construção de Sistemas de Blockchain Confiáveis com Ronghui Gu

Ronghui Gu, Professor Assistente de Ciência da Computação, descreve seu trabalho sobre como melhorar a confiabilidade e a segurança dos sist...

Verificação Formal de Contratos Inteligentes Facilitada (Devcon5)

Visite https://archive.devcon.org/ para acessar toda a biblioteca de palestras da Devcon com facilidade de filtragem, playlists, sugestões p...

Cardano Blackboard Series #12: O que é verificação formal?

Neste vídeo, explicamos o conceito de verificação formal, o que é um sistema crítico para a missão e por que o Cardano é construído em Haske...

Verificação Formal de Contratos Inteligentes e Protocolos: O Que, Por Quê, Como (Devcon5)

Por Grigore Rosu, Everett Hildenbrandt, Daejun Park, Shuvendu Lahiri "Testes mostram a presença, não a ausência de bugs" (Dijkstra, 1969). E...

Certik | Ronghui Gu | BlockchainBrad | Verificação Formal | CertikOS | Serviços de Segurança em Blockchain

BlockchainBrad conversa com Ronghui Gu sobre a Certik. A Certik está construindo a empresa de cibersegurança em blockchain mais avançada e u...

Bas Spitters: Contratos Inteligentes e Verificação Formal para a Blockchain

No Centro de Pesquisa da Blockchain Concordium, investigamos o design de linguagens de contratos inteligentes, a especificação de contratos....

Verificação formal: o caminho para a segurança completa dos contratos inteligentes - Martin Lundfall

Todos os direitos pertencem a: Stanford Blockchain Conference 2019 https://cyber.stanford.edu/sbc19

Entrevista com a CertiK: Plataforma de Verificação Formal para Contratos Inteligentes e Ecossistemas de Blockchain

Dois Gu's (não relacionados) falam sobre verificação formal de software e como isso pode ajudar a proteger sistemas contra bugs e hackers. O...

Painel: Verificação Formal

Visite https://archive.devcon.org/ para acessar toda a biblioteca de palestras da Devcon com facilidade de filtragem, playlists, sugestões p...

Verificação Formal para Solidity

Visite https://archive.devcon.org/ para acessar toda a biblioteca de palestras do Devcon com facilidade de filtragem, playlists, sugestões p...

Verificação Formal de Contratos Inteligentes - Yoichi Hirai

Visite o https://archive.devcon.org/ para acessar toda a biblioteca de palestras da Devcon com facilidade de filtragem, playlists, sugestões...

Verificação formal de bytecodes EVM: Parte 1, a configuração

Neste vídeo, demonstro como usar o Coq para provar a correção funcional de um pedaço de bytecode EVM em relação a uma especificação. Não exp...

Verificação Formal de Contratos Inteligentes: Dr. Christian Reitwiessner - IC3-Ethereum Crypto Boot Camp

VERIFICAÇÃO FORMAL DE CONTRATOS INTELIGENTES Slides - https://chriseth.github.io/notes/talks/formal_ic3_bootcamp/#/ Dr. Christian Reitwiessn...

Verificação Formal