BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
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:20260610T173142
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
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20240723T160000
DTEND;TZID=America/Sao_Paulo:20240723T170000
DTSTAMP:20260610T173142
CREATED:20240716T125607Z
LAST-MODIFIED:20240716T125607Z
UID:9243-1721750400-1721754000@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura  Mauro Schiavinato
DESCRIPTION:Título: Fragmentos de CPDL+ mediante propiedades de pathwidth\nDirector: Santiago Figueira\nCo-director: Edwin Pin\nJurados: Ricardo Rodríguez y Sergio Abriola \nResumen: En este trabajo nos centramos en CPDL+\, un lenguaje recientemente definido que extiende a PDL (Propositional Dynamic Logic)\, una lógica modal ya conocida y ampliamente estudiada. Sobre esta nueva lógica estudiamos una jerarquización del lenguaje basado en propiedades de pathwidth asociados a los grafos subyacentes de ciertas expresiones que este lenguaje posee. Esta jerarquización es comparable y análoga a la jerarquización de CPDL+ basada en propiedades de treewidth con la que se definió originalmente. \nEn un principio\, nuestro problema se basaba en hacer una comparación de expresividad de varios fragmentos de CPDL+\, pero varias propiedades relacionadas con teoría de modelos y juegos de simulación fueron surgiendo a medida que este estudio se fue desarrollando. Finalmente\, demostramos que el criterio de simulación estudiado para la jerarquía treewidth también sirve para pathwidth\, con algunas modificaciones semánticas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-mauro-schiavinato/
LOCATION:Sala 1606
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR