Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma Ethereum

Mostrar todas las versiones(3)

Ethereum es el principal ecosistema basado en blockchain que proporciona un entorno para codificar y ejecutar contratos inteligentes. El proceso de escritura de contratos seguros y de buen desempeño es un gran desafío para los desarrolladores. Implica la aplicación de paradigmas de programación no c...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Argañaraz, Mauro C., Berón, Mario, Varanda Pereira, Maria João, Rangel Henriques, Pedro, Riesco, Daniel Eduardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2021
Materias:
Ciencias Informáticas
blockchain
Ethereum
smart contract
Solidity
Vyper
static analysis tool
Verification
security patterns
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/121694
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-121694
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
blockchain
Ethereum
smart contract
Solidity
Vyper
static analysis tool
Verification
security patterns
spellingShingle Ciencias Informáticas
blockchain
Ethereum
smart contract
Solidity
Vyper
static analysis tool
Verification
security patterns
Argañaraz, Mauro C.
Berón, Mario
Varanda Pereira, Maria João
Rangel Henriques, Pedro
Riesco, Daniel Eduardo
Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma Ethereum
topic_facet Ciencias Informáticas
blockchain
Ethereum
smart contract
Solidity
Vyper
static analysis tool
Verification
security patterns
description Ethereum es el principal ecosistema basado en blockchain que proporciona un entorno para codificar y ejecutar contratos inteligentes. El proceso de escritura de contratos seguros y de buen desempeño es un gran desafío para los desarrolladores. Implica la aplicación de paradigmas de programación no convencionales debido a las características inherentes de la ejecución de programas de computación distribuida. Además, los errores en los contratos desplegados pueden tener graves consecuencias debido al acoplamiento inmediato del código del contrato y las transacciones financieras. El manejo directo de los activos significa que las fallas tienen más probabilidades de ser relevantes para la seguridad y tienen mayores consecuencias económicas que los errores en las aplicaciones típicas. En este artículo, se describe una línea de investigación que se enfoca en diseñar una técnica activa de seguridad que permita comprobar el cumplimiento de una serie de principios, buenas prácticas, pautas y patrones de diseño establecidos en la especificación de contratos inteligentes de la plataforma Ethereum.
format Objeto de conferencia
Objeto de conferencia
author Argañaraz, Mauro C.
Berón, Mario
Varanda Pereira, Maria João
Rangel Henriques, Pedro
Riesco, Daniel Eduardo
author_facet Argañaraz, Mauro C.
Berón, Mario
Varanda Pereira, Maria João
Rangel Henriques, Pedro
Riesco, Daniel Eduardo
author_sort Argañaraz, Mauro C.
title Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma Ethereum
title_short Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma Ethereum
title_full Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma Ethereum
title_fullStr Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma Ethereum
title_full_unstemmed Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma Ethereum
title_sort detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma ethereum
publishDate 2021
url http://sedici.unlp.edu.ar/handle/10915/121694
work_keys_str_mv AT arganarazmauroc detecciondevulnerabilidadesenespecificacionesdecontratosinteligentesdelaplataformaethereum
AT beronmario detecciondevulnerabilidadesenespecificacionesdecontratosinteligentesdelaplataformaethereum
AT varandapereiramariajoao detecciondevulnerabilidadesenespecificacionesdecontratosinteligentesdelaplataformaethereum
AT rangelhenriquespedro detecciondevulnerabilidadesenespecificacionesdecontratosinteligentesdelaplataformaethereum
AT riescodanieleduardo detecciondevulnerabilidadesenespecificacionesdecontratosinteligentesdelaplataformaethereum
bdutipo_str Repositorios
_version_ 1764820448678248449

Ejemplares similares