Banca de DEFESA: Ismael Coelho Medeiros

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : Ismael Coelho Medeiros
DATA : 07/07/2023
HORA: 09:00
LOCAL: Remota / CIC UnB
TÍTULO:

DogeFuzz: um Framework Extensível para Estudos do Uso de Fuzzing na Análise Dinâmica de Smart Contracts


PALAVRAS-CHAVES:

Segurança de Software

Contratos Inteligentes

Fuzzing Test

Análise de Programas


PÁGINAS: 88
RESUMO:

Smart contract são programas Turing-completo que são executados em uma rede blockchain. Muitas vezes, este tipo de programa armazena ativos digitais valiosos e em um blockchain como o Ethereum, o binário de cada smart contract está publico e transparente, e por isso pode ser acessado por qualquer um. Isso faz com que este tipo de programa seja alvo constante de ataques e que a segurança de um contrato seja algo crítico. Este trabalho visa experimentar técnicas avançadas de fuzzing na detecção automática de vulnerabili- dades em smart contracts. A técnica que será explorada é a directed greybox fuzzing que tem como objetivo gerar inputs que explorem pontos específicos do código. Para isso, a ferramenta ContractFuzzer será estendida de forma que consiga utilizar esta nova técnica. Para avaliar a performance desta extensão será preciso criar um dataset para experimentar a capacidade exploração das duas versões da ferramenta ContractFuzzer.


MEMBROS DA BANCA:
Presidente - 1848788 - RODRIGO BONIFACIO DE ALMEIDA
Interno - 1923196 - EDUARDO ADILIO PELINSON ALCHIERI
Interna - 1720223 - GENAINA NUNES RODRIGUES
Externo à Instituição - WILKERSON DE LUCENA ANDRADE - UFCG
Notícia cadastrada em: 29/06/2023 09:20
SIGAA | Secretaria de Tecnologia da Informação - STI - (61) 3107-0102 | Copyright © 2006-2024 - UFRN - app35_Prod.sigaa29