Registro:
| Documento: | Tesis de Grado |
| Título: | Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica |
| Autor: | Wappner, Daniel |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-08-04 |
| Fecha de defensa: | 2024 |
| Fecha en portada: | 2024 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Godoy, Javier Ignacio |
| Director Asistente: | Garbervetsky, Diego David |
| Jurado: | Uchitel, Sebastián; Waisbein, Ariel |
| Idioma: | Español |
| Palabras clave: | CONTRATOS INTELIGENTES; EJECUCION SIMBOLICA; CONSTRUCCION DE ABSTRACCIONES; VALIDACION; MODELADOSOLIDITY; ANALISIS ESTATICO |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000535_Wappner |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000535_Wappner.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000535_Wappner |
| Ubicación: | Dep.COM 000535 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Wappner, Daniel. (2024). Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000535_Wappner |
Resumen:
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.
Citación:
---------- APA ----------
Wappner, Daniel. (2024). Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000535_Wappner
---------- CHICAGO ----------
Wappner, Daniel. "Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2024.https://hdl.handle.net/20.500.12110/seminario_nCOM000535_Wappner
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000535_Wappner.pdf
Distrubución geográfica
