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:20220101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20230823T140000
DTEND;TZID=America/Sao_Paulo:20230823T150000
DTSTAMP:20260407T201014
CREATED:20230823T130903Z
LAST-MODIFIED:20230823T130903Z
UID:8555-1692799200-1692802800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Edén Torres
DESCRIPTION:Título: Generador de abstracciones para Smart Contracts\nDirector: Sebastián Uchitel\nCo-director: Javier Godoy\nJurados: Dr. Ariel Waissbein y Dr. Victor Braberman\n\nResumen:\n\nVamos a abordar la problemática de validar y verificar la corrección de los contratos inteligentes\, programas que se ejecutan en una blockchain y pueden manejar recursos de alto valor. Debido a la falta de especificaciones claras del comportamiento esperado y al entorno de ejecución concurrente en el que funcionan\, validar la corrección de estos contratos es una tarea compleja. Una manera de facilitar la comprensión del comportamiento de los contratos es construyendo máquinas de estado\, pero esta técnica se realiza de manera manual y requiere la traducción del código a un lenguaje de modelado. Por lo tanto\, se propone desarrollar una herramienta capaz de construir automáticamente abstracciones para contratos inteligentes para la red Ethereum utilizando ideas similares a las de un estudio anterior y utilizando un analizador estático de programas Solidity. Para esto\, se utilizará VeriSol\, una herramienta de análisis estático desarrollada por Microsoft Research que verifica la correctitud de las aserciones en un contrato dado.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-eden-torres/
LOCATION:Aula 1208
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR