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

Autores
Argañaraz, Mauro C.; Berón, Mario; Varanda Pereira, Maria João; Rangel Henriques, Pedro; Riesco, Daniel Eduardo
Año de publicación
2021
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Eje: Seguridad informática.
Red de Universidades con Carreras en Informática
Materia
Ciencias Informáticas
blockchain
Ethereum
smart contract
Solidity
Vyper
static analysis tool
Verification
security patterns
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/121694
Acceder
id SEDICI_5556ecb889392327825268fd3851c093
oai_identifier_str oai:sedici.unlp.edu.ar:10915/121694
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma EthereumArgañaraz, Mauro C.Berón, MarioVaranda Pereira, Maria JoãoRangel Henriques, PedroRiesco, Daniel EduardoCiencias InformáticasblockchainEthereumsmart contractSolidityVyperstatic analysis toolVerificationsecurity patternsEthereum 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.Eje: Seguridad informática.Red de Universidades con Carreras en Informática2021-04info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf832-836http://sedici.unlp.edu.ar/handle/10915/121694spainfo:eu-repo/semantics/altIdentifier/isbn/978-987-24611-3-3info:eu-repo/semantics/altIdentifier/isbn/978-987-24611-4-0info:eu-repo/semantics/reference/hdl/10915/119487info:eu-repo/semantics/reference/hdl/10915/119490info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-17T10:11:17Zoai:sedici.unlp.edu.ar:10915/121694Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-17 10:11:17.911SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma Ethereum
title Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma Ethereum
spellingShingle Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma Ethereum
Argañaraz, Mauro C.
Ciencias Informáticas
blockchain
Ethereum
smart contract
Solidity
Vyper
static analysis tool
Verification
security patterns
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
dc.creator.none.fl_str_mv Argañaraz, Mauro C.
Berón, Mario
Varanda Pereira, Maria João
Rangel Henriques, Pedro
Riesco, Daniel Eduardo
author Argañaraz, Mauro C.
author_facet Argañaraz, Mauro C.
Berón, Mario
Varanda Pereira, Maria João
Rangel Henriques, Pedro
Riesco, Daniel Eduardo
author_role author
author2 Berón, Mario
Varanda Pereira, Maria João
Rangel Henriques, Pedro
Riesco, Daniel Eduardo
author2_role author
author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
blockchain
Ethereum
smart contract
Solidity
Vyper
static analysis tool
Verification
security patterns
topic Ciencias Informáticas
blockchain
Ethereum
smart contract
Solidity
Vyper
static analysis tool
Verification
security patterns
dc.description.none.fl_txt_mv 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.
Eje: Seguridad informática.
Red de Universidades con Carreras en Informática
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.
publishDate 2021
dc.date.none.fl_str_mv 2021-04
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/121694
url http://sedici.unlp.edu.ar/handle/10915/121694
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/978-987-24611-3-3
info:eu-repo/semantics/altIdentifier/isbn/978-987-24611-4-0
info:eu-repo/semantics/reference/hdl/10915/119487
info:eu-repo/semantics/reference/hdl/10915/119490
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
832-836
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1843532715464327168
score 13.000565

Publicaciones similares