Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica
- Autores
- Wappner, Daniel
- Año de publicación
- 2024
- Idioma
- español castellano
- Tipo de recurso
- tesis de grado
- Estado
- versión publicada
- Colaborador/a o director/a de tesis
- Godoy, Javier Ignacio
Garbervetsky, Diego David - Descripción
- Los smart contracts 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 smart contracts. Sin embargo, se han explotado numerosas vulnerabilidades en los últimos años provocando pérdidas a miles de personas. Las Enabledness Preserving Abstractions (EPAs), son máquinas de estado finitas que abstraen el comportamiento de artefactos de código, basándose en predicados sobre la habilitación de los métodos disponibles. En general, han resultado útiles como herramienta para la validación de código tanto contra especificaciones formales como contra modelos informales o “mentales” del comportamiento esperado. Presentamos un protitpo que genera EPAs de contratos inteligentes a partir de código fuente, haciendo uso y extensión de una herramienta open source de ejecución simbólica dinámica: “Manticore”. Discutimos las optimizaciones implementadas y comparamos el prototipo desarrollado con otras estrategias alternativas.
Fil: Wappner, Daniel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. - Materia
-
CONTRATOS INTELIGENTES
EJECUCION SIMBOLICA
CONSTRUCCION DE ABSTRACCIONES
VALIDACION
MODELADO
SOLIDITY
ANALISIS ESTATICO - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- https://creativecommons.org/licenses/by-nc-sa/2.5/ar
- Repositorio
- Institución
- Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
- OAI Identificador
- seminario:seminario_nCOM000535_Wappner
Ver los metadatos del registro completo
id |
BDUBAFCEN_c54e0a632c76320e1c33a4be73840920 |
---|---|
oai_identifier_str |
seminario:seminario_nCOM000535_Wappner |
network_acronym_str |
BDUBAFCEN |
repository_id_str |
1896 |
network_name_str |
Biblioteca Digital (UBA-FCEN) |
spelling |
Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólicaWappner, DanielCONTRATOS INTELIGENTESEJECUCION SIMBOLICACONSTRUCCION DE ABSTRACCIONESVALIDACIONMODELADOSOLIDITYANALISIS ESTATICOLos smart contracts 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 smart contracts. Sin embargo, se han explotado numerosas vulnerabilidades en los últimos años provocando pérdidas a miles de personas. Las Enabledness Preserving Abstractions (EPAs), son máquinas de estado finitas que abstraen el comportamiento de artefactos de código, basándose en predicados sobre la habilitación de los métodos disponibles. En general, han resultado útiles como herramienta para la validación de código tanto contra especificaciones formales como contra modelos informales o “mentales” del comportamiento esperado. Presentamos un protitpo que genera EPAs de contratos inteligentes a partir de código fuente, haciendo uso y extensión de una herramienta open source de ejecución simbólica dinámica: “Manticore”. Discutimos las optimizaciones implementadas y comparamos el prototipo desarrollado con otras estrategias alternativas.Fil: Wappner, Daniel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.Universidad de Buenos Aires. Facultad de Ciencias Exactas y NaturalesGodoy, Javier IgnacioGarbervetsky, Diego David2024info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttps://hdl.handle.net/20.500.12110/seminario_nCOM000535_Wappnerspainfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/arreponame:Biblioteca Digital (UBA-FCEN)instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesinstacron:UBA-FCEN2025-09-29T13:43:39Zseminario:seminario_nCOM000535_WappnerInstitucionalhttps://digital.bl.fcen.uba.ar/Universidad públicaNo correspondehttps://digital.bl.fcen.uba.ar/cgi-bin/oaiserver.cgiana@bl.fcen.uba.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:18962025-09-29 13:43:40.115Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesfalse |
dc.title.none.fl_str_mv |
Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica |
title |
Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica |
spellingShingle |
Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica Wappner, Daniel CONTRATOS INTELIGENTES EJECUCION SIMBOLICA CONSTRUCCION DE ABSTRACCIONES VALIDACION MODELADO SOLIDITY ANALISIS ESTATICO |
title_short |
Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica |
title_full |
Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica |
title_fullStr |
Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica |
title_full_unstemmed |
Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica |
title_sort |
Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica |
dc.creator.none.fl_str_mv |
Wappner, Daniel |
author |
Wappner, Daniel |
author_facet |
Wappner, Daniel |
author_role |
author |
dc.contributor.none.fl_str_mv |
Godoy, Javier Ignacio Garbervetsky, Diego David |
dc.subject.none.fl_str_mv |
CONTRATOS INTELIGENTES EJECUCION SIMBOLICA CONSTRUCCION DE ABSTRACCIONES VALIDACION MODELADO SOLIDITY ANALISIS ESTATICO |
topic |
CONTRATOS INTELIGENTES EJECUCION SIMBOLICA CONSTRUCCION DE ABSTRACCIONES VALIDACION MODELADO SOLIDITY ANALISIS ESTATICO |
dc.description.none.fl_txt_mv |
Los smart contracts 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 smart contracts. Sin embargo, se han explotado numerosas vulnerabilidades en los últimos años provocando pérdidas a miles de personas. Las Enabledness Preserving Abstractions (EPAs), son máquinas de estado finitas que abstraen el comportamiento de artefactos de código, basándose en predicados sobre la habilitación de los métodos disponibles. En general, han resultado útiles como herramienta para la validación de código tanto contra especificaciones formales como contra modelos informales o “mentales” del comportamiento esperado. Presentamos un protitpo que genera EPAs de contratos inteligentes a partir de código fuente, haciendo uso y extensión de una herramienta open source de ejecución simbólica dinámica: “Manticore”. Discutimos las optimizaciones implementadas y comparamos el prototipo desarrollado con otras estrategias alternativas. Fil: Wappner, Daniel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. |
description |
Los smart contracts 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 smart contracts. Sin embargo, se han explotado numerosas vulnerabilidades en los últimos años provocando pérdidas a miles de personas. Las Enabledness Preserving Abstractions (EPAs), son máquinas de estado finitas que abstraen el comportamiento de artefactos de código, basándose en predicados sobre la habilitación de los métodos disponibles. En general, han resultado útiles como herramienta para la validación de código tanto contra especificaciones formales como contra modelos informales o “mentales” del comportamiento esperado. Presentamos un protitpo que genera EPAs de contratos inteligentes a partir de código fuente, haciendo uso y extensión de una herramienta open source de ejecución simbólica dinámica: “Manticore”. Discutimos las optimizaciones implementadas y comparamos el prototipo desarrollado con otras estrategias alternativas. |
publishDate |
2024 |
dc.date.none.fl_str_mv |
2024 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/bachelorThesis info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_7a1f info:ar-repo/semantics/tesisDeGrado |
format |
bachelorThesis |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
https://hdl.handle.net/20.500.12110/seminario_nCOM000535_Wappner |
url |
https://hdl.handle.net/20.500.12110/seminario_nCOM000535_Wappner |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
https://creativecommons.org/licenses/by-nc-sa/2.5/ar |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
publisher.none.fl_str_mv |
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital (UBA-FCEN) instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales instacron:UBA-FCEN |
reponame_str |
Biblioteca Digital (UBA-FCEN) |
collection |
Biblioteca Digital (UBA-FCEN) |
instname_str |
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
instacron_str |
UBA-FCEN |
institution |
UBA-FCEN |
repository.name.fl_str_mv |
Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
repository.mail.fl_str_mv |
ana@bl.fcen.uba.ar |
_version_ |
1844618757079564288 |
score |
13.070432 |