Registro:
| Documento: | Tesis de Grado |
| Título: | Generador de abstracciones de comportamiento para contratos inteligentes mediante fuzzing |
| Título alternativo: | Behavior abstraction generator for smart contracts using a fuzzer |
| Autor: | Grinspan, Ian |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Fecha de defensa: | 2025-04-22 |
| Fecha en portada: | 2025 |
| 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: | Grieco, Gustavo; Galeotti, Juan Pablo |
| Idioma: | Español |
| Palabras clave: | VALIDACION DE SOFTWARE; ANALISIS DINAMICO; FUZZING; ECHIDNA; BLOCKCHAIN; CONTRATOS INTELIGENTES; ETHEREUM; SOLIDITY; ABSTRACCIONES POR PREDICADOSSOFTWARE VALIDATION; DYNAMIC ANALYSIS; FUZZING; ECHIDNA; BLOCKCHAIN; SMART CONTRACTS; ETHEREUM; SOLIDITY; PREDICATE-BASED ABSTRACTIONS |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000843_Grinspan |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000843_Grinspan.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000843_Grinspan |
| Ubicación: | Dep.COM 000843 |
| 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. Grinspan, Ian. (2025). Generador de abstracciones de comportamiento para contratos inteligentes mediante fuzzing. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000843_Grinspan |
Resumen:
Los contratos inteligentes son programas inmutables desplegados en la blockchain, utilizados para gestionar activos digitales y automatizar acuerdos sin intermediarios. Dada la inmutabilidad de su código una vez desplegado y el manejo de recursos de alto valor que emplean, la identificación temprana de errores y vulnerabilidades es crucial para evitar pérdidas económicas y fallos de seguridad. En este trabajo se presenta un enfoque para la generación automática de abstracciones por predicados, aplicada a contratos inteligentes escritos en Solidity para la red Ethereum. A diferencia de herramientas previas que emplean análisis estático, esta propuesta se basa en técnicas de análisis dinámico mediante fuzzing, utilizando la herramienta de código abierto Echidna. El prototipo desarrollado permite explorar el comportamiento de los contratos generando abstracciones que reflejan el estado del contrato y las precondiciones necesarias para la habilitación de sus funciones. Este enfoque permite identificar estados de ejecución no triviales y condiciones que podrían pasar desapercibidas en un análisis manual. Se analizan las ventajas y limitaciones de la herramienta propuesta, comparándola con enfoques previos que emplean analizadores estáticos, y se discuten posibles extensiones para mejorar la eficiencia y precisión del análisis.
Abstract:
Smart contracts are immutable programs deployed on the blockchain, used to manage digital assets and automate agreements without intermediaries. Given the immutability of their code once deployed and the high-value resources they handle, early identification of errors and vulnerabilities is crucial to prevent economic losses and security breaches. This work presents an approach for the automatic generation of predicate-based abstractions applied to smart contracts written in Solidity for the Ethereum network. Unlike previous tools that rely on static analysis, this proposal is based on dynamic analysis techniques through fuzzing, using the open-source tool Echidna. The developed prototype allows for exploring contract behavior by generating abstractions that reflect the contract’s state and the preconditions required to enable its functions. This approach helps identify non-trivial execution states and conditions that might be overlooked in manual analysis. The advantages and limitations of the proposed tool are analyzed, comparing it with previous approaches that use static analyzers, and potential extensions are discussed to improve the efficiency and accuracy of the analysis.
Citación:
---------- APA ----------
Grinspan, Ian. (2025). Generador de abstracciones de comportamiento para contratos inteligentes mediante fuzzing. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000843_Grinspan
---------- CHICAGO ----------
Grinspan, Ian. "Generador de abstracciones de comportamiento para contratos inteligentes mediante fuzzing". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2025.https://hdl.handle.net/20.500.12110/seminario_nCOM000843_Grinspan
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000843_Grinspan.pdf
Distrubución geográfica
