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:20230101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240715T140000
DTEND;TZID=America/Sao_Paulo:20240715T150000
DTSTAMP:20260426T214609
CREATED:20240712T130643Z
LAST-MODIFIED:20240712T130643Z
UID:9231-1721052000-1721055600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Daniel Wappner
DESCRIPTION:Título: Construcción de abstracciones de comportamiento para contratos inteligentes mediante ejecución simbólica\nDirectores: Javier Godoy\, Diego Garbervetsky\nJurados: Dr. Ariel Waissbein\, Dr. Sebastián Uchitel\n\nResumen:\nLos 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 prototipo 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.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-daniel-wappner/
LOCATION:Sala 1604
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR