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, propiedad que en estos últimos años recibió gran atención por las nuevas aplicaciones comerciales y, también, por la comunidad científica. El proceso de escritura de...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Argañaraz, Mauro C., Berón, Mario, Rangel Henriques, Pedro, Riesco, Daniel Eduardo
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2020
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/104021
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-104021
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 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, propiedad que en estos últimos años recibió gran atención por las nuevas aplicaciones comerciales y, también, por la comunidad científica. El proceso de escritura de contratos seguros y de buen desempeño en la plataforma Ethereum 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. Una serie de reportes de incidentes muestran que los problemas de seguridad se han utilizado con propósitos fraudulentos. En este artículo, se describe una línea de investigación que se enfoca en fortalecer los aspectos de seguridad, basado en una base sólida de diseño, patrones de código establecidos y probados que faciliten el proceso de escritura de código funcional y libre de errores, para proporcionar una herramienta que permita analizar y detectar falencias de manera automática.
format	Objeto de conferencia Objeto de conferencia
author	Argañaraz, Mauro C. Berón, Mario Rangel Henriques, Pedro Riesco, Daniel Eduardo
author_facet	Argañaraz, Mauro C. Berón, Mario 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	2020
url	http://sedici.unlp.edu.ar/handle/10915/104021
work_keys_str_mv	AT arganarazmauroc detecciondevulnerabilidadesenespecificacionesdecontratosinteligentesdelaplataformaethereum AT beronmario detecciondevulnerabilidadesenespecificacionesdecontratosinteligentesdelaplataformaethereum AT rangelhenriquespedro detecciondevulnerabilidadesenespecificacionesdecontratosinteligentesdelaplataformaethereum AT riescodanieleduardo detecciondevulnerabilidadesenespecificacionesdecontratosinteligentesdelaplataformaethereum
bdutipo_str	Repositorios
_version_	1764820441656983552

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

Ejemplares similares