BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20240101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20250422T110000
DTEND;TZID=America/Sao_Paulo:20250422T120000
DTSTAMP:20260519T180629
CREATED:20250414T131528Z
LAST-MODIFIED:20250414T131528Z
UID:9856-1745319600-1745323200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Ian Grinspan
DESCRIPTION:Título: Generador de Abstracciones de Comportamiento para Contratos Inteligentes mediante Fuzzing\nDirectores: Javier Godoy\, Diego Garbervetsky\nJurados: Dr. Gustavo Grieco\, Dr. Juan Pablo Galeotti \nResumen:\nLos 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.\nEn 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.\nEl 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-ian-grinspan/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR