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:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20180218T020000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0300
TZOFFSETTO:-0200
TZNAME:-02
DTSTART:20181104T030000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20190217T020000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20191217T180000
DTEND;TZID=America/Sao_Paulo:20191217T190000
DTSTAMP:20260612T125252
CREATED:20191211T124859Z
LAST-MODIFIED:20191211T124859Z
UID:5618-1576605600-1576609200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Vera Bogdanich Espina
DESCRIPTION:Título: Verificación de smart contracts en Ethereum: un estudio y un prototipo\nDirector: Diego Garbervetsky\nJurados: Juan Pablo Galeotti\, Hernan Melgratti\n\nResumen:\nLos contratos inteligentes\, o smart contracts\, son programas que pueden ser ejecutados consistentemente por una red de nodos que se desconfían mutuamente\, sin el arbitraje de una autoridad centralizada. Debido a su resistencia a la manipulación\, los smart contracts son atractivos en muchos escenarios\, especialmente en aquellos que requieren transferencias de dinero respetando ciertas reglas acordadas. Desafortunadamente\, programar smart contracts es una tarea delicada que requiere experiencia: sus aplicaciones y la semántica de los sistemas descentralizados inevitablemente introducen una gran cantidad de problemas de seguridad. Por lo tanto\, surgieron métodos y herramientas para apoyar el desarrollo de smart contracts seguros. Evaluar la calidad de estas herramientas resulta difícil.\nEsta tesis pretende ser una guía para quienes tienen la intención de analizar smart contracts\, ya sea durante una auditoría o durante el desarrollo de aplicaciones descentralizadas. En particular\, para los auditores de OpenZeppelin\, que mostraron interés en el análisis automático y quieren aplicarlo en su trabajo diario. Además de realizar este estudio sobre técnicas de análisis automático para smart contracts\, también desarrollamos una herramienta prototipo que combina dos enfoques existentes y agrega un lenguaje de especificación para crear un monitor para controles de seguridad. Este monitor se implementó como una instrumentación del contrato proporcionado\, por lo que se puede evaluar con casi cualquier programa de análisis para así aprovechar sus capacidades\, y al mismo tiempo expresar invariantes del contrato en un lenguaje inspirado en las lógicas temporales.\n 
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-vera-bogdanich-espina/
LOCATION:Laboratorio Turing
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR