Abstracción de contratos inteligentes mediante ejecución simbólica dinámica

Los contratos inteligentes son programas inmutables que se despliegan en una blockchain. Dado que a menudo manejan activos de alto valor real, su verificación y validación antes de desplegarlos es de gran importancia. Por esta razón, es una práctica común contratar empresas de seguridad especializad...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Wappner, Daniel
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2023
Materias:	Ciencias Informáticas Contrato Inteligente Ejecución simbólica dinámica Validación por Modelos
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/166475
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-166475
record_format	dspace
spelling	I19-R120-10915-1664752024-05-28T20:06:26Z http://sedici.unlp.edu.ar/handle/10915/166475 Abstracción de contratos inteligentes mediante ejecución simbólica dinámica Wappner, Daniel 2023-09 2023 2024-05-28T14:38:11Z es Ciencias Informáticas Contrato Inteligente Ejecución simbólica dinámica Validación por Modelos Los contratos inteligentes son programas inmutables que se despliegan en una blockchain. Dado que a menudo manejan activos de alto valor real, su verificación y validación antes de desplegarlos es de gran importancia. Por esta razón, es una práctica común contratar empresas de seguridad especializadas para auditar el código de los contratos inteligentes. Sin embargo, se han explotado numerosas vulnerabilidades en los últimos años provocando pérdidas a miles de personas. En este trabajo presentamos el desarrollo de un prototipo que, dado el código fuente de un contrato inteligente, genera máquinas de estado finitas que abstraen el comportamiento del contrato.Estas abstracciones que se basan en predicados sobre la habilitación de los métodos del contrato han resultado útiles anteriormente como herramienta para la validación de código contra especificaciones informales y para descubrir errores latentes. El prototipo implementado hace uso y extensión de una herramienta open source de ejecución simbólica dinámica denominada Manticore. Además, hacemos pública la implementación del prototipo, junto con las pruebas realizadas contra contratos ejemplo. Sociedad Argentina de Informática e Investigación Operativa Objeto de conferencia Objeto de conferencia http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application/pdf 109-119
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas Contrato Inteligente Ejecución simbólica dinámica Validación por Modelos
spellingShingle	Ciencias Informáticas Contrato Inteligente Ejecución simbólica dinámica Validación por Modelos Wappner, Daniel Abstracción de contratos inteligentes mediante ejecución simbólica dinámica
topic_facet	Ciencias Informáticas Contrato Inteligente Ejecución simbólica dinámica Validación por Modelos
description	Los contratos inteligentes son programas inmutables que se despliegan en una blockchain. Dado que a menudo manejan activos de alto valor real, su verificación y validación antes de desplegarlos es de gran importancia. Por esta razón, es una práctica común contratar empresas de seguridad especializadas para auditar el código de los contratos inteligentes. Sin embargo, se han explotado numerosas vulnerabilidades en los últimos años provocando pérdidas a miles de personas. En este trabajo presentamos el desarrollo de un prototipo que, dado el código fuente de un contrato inteligente, genera máquinas de estado finitas que abstraen el comportamiento del contrato.Estas abstracciones que se basan en predicados sobre la habilitación de los métodos del contrato han resultado útiles anteriormente como herramienta para la validación de código contra especificaciones informales y para descubrir errores latentes. El prototipo implementado hace uso y extensión de una herramienta open source de ejecución simbólica dinámica denominada Manticore. Además, hacemos pública la implementación del prototipo, junto con las pruebas realizadas contra contratos ejemplo.
format	Objeto de conferencia Objeto de conferencia
author	Wappner, Daniel
author_facet	Wappner, Daniel
author_sort	Wappner, Daniel
title	Abstracción de contratos inteligentes mediante ejecución simbólica dinámica
title_short	Abstracción de contratos inteligentes mediante ejecución simbólica dinámica
title_full	Abstracción de contratos inteligentes mediante ejecución simbólica dinámica
title_fullStr	Abstracción de contratos inteligentes mediante ejecución simbólica dinámica
title_full_unstemmed	Abstracción de contratos inteligentes mediante ejecución simbólica dinámica
title_sort	abstracción de contratos inteligentes mediante ejecución simbólica dinámica
publishDate	2023
url	http://sedici.unlp.edu.ar/handle/10915/166475
work_keys_str_mv	AT wappnerdaniel abstracciondecontratosinteligentesmedianteejecucionsimbolicadinamica
_version_	1807223110776127488

Abstracción de contratos inteligentes mediante ejecución simbólica dinámica

Ejemplares similares