Título: Fuzzing de smart contracts: EchidnaAFL Directores: Juan Pablo Galeotti y Diego Garbervetsky (DC/ICC) Jurados: - Victor Braberman (DC/ICC) - Gustavo Grieco (Trail of Bits) Resumen: En los últimos años, han cobrado popularidad y gran capital financiero las tecnologías blockchain y en particular Ethereum, que introdujo el concepto de [...]

Título: Análisis bayesiano del aprendizaje en comunidades de video juegos Director: Esteban Mocskos Co-director: Diego Fernández Slezak Consejero de estudios: Hernán Melgratti Jurados: Dr. Daniel Ramos Castro - Universidad Autónoma de Madrid Dra. Marcela Svarc - Universidad de San Andrés & CONICET Dr. Mariano G. Beiró Facultad de Ingeniería, [...]

Título: "Modelado de funciones propagadoras para taint tracking con CodeQL y GPT-4: una aproximación experimental"  Director: Víctor Braberman Director adjunto: Iván Postolski Jurados: Diego Garbervetsky, Rodolfo Baader Resumen ---------------------- En el análisis estático de programas, el taint tracking se utiliza para detectar vulnerabilidades relacionadas con el flujo de inputs no [...]

Título: Generación aleatoria de casos de test Espresso para Android Director: Prof. Dr. Juan Pablo Galeotti Consejero de estudios: Prof. Dr. Hernán Melgratti Jurados: Prof. Dra. Alessandra Gorla - IMDEA Software Institute Prof. Dr. Marcelo d'Amorim - NC State University Dr. Renzo Degiovanni - University of Luxembourg Transmisión: https://youtube.com/live/Z7-gBWNfZuw Resumen: [...]

Título: "Análisis de estabilidad y seguridad en una red de Proof of Stake: el ejemplo de Algorand" Director: Esteban Mocskos Jurados: Gustavo Sadovoy, Ariel Waissbein Transmite por: https://youtube.com/live/hVe3CpH6LYg?feature=share Resumen ======= En este trabajo de tesis estudiamos Algorand, una red de blockchain basada en Proof of Stake, analizando la estabilidad [...]

Título: Problemas localmente verificables parametrizados por treewidth, clique-width y mim-width Directora: Flavia Bonomo Consejero de estudios: Javier Marenco Jurados: Dr. Sergio Cabello Justo - Prof. Full, DMAT, Univ. de Liubliana Dra. Paloma T. De Lima - Prof. Asis., Univ. de Copenhagen Dr. Dimítrios Thilikós Touloupas - Dir. de Inv., [...]

Título: El algoritmo de Huang Directora: Verónica Becher Jurados: Nicolás Álvarez y Martín Mereb Resumen: Fijemos un alfabeto. Una secuencia de De Bruijn de orden n es una secuencia de símbolos del alfabeto que contiene todas las palabras de longitud n exactamente una vez. Estas secuencias fueron descubiertas y [...]

Este viernes 19/4 hay Dátame! El encuentro es a las 16hs. en el aula 1402 del Edificio 0+Infinito. Esta vez, la charla estará a cargo de Ana Amador (Dpto de Física, Exactas-UBA e INFINA-CONICET). El título de la charla es Neurociencias y reducción de dimensionalidad: de millones de neuronas al comportamiento Sobre la charla [...]

Título: Aplicaciones de SLAM: mapeo de ambientes naturales, localizacion consistente en tiempo real y exploración autónoma multi-robot. Director: Pablo De Cristóforis Consejero de estudios: Julio Jacobo Jurados: Dr. Manuel Jesús Marín Jiménez (Universidad de Córdoba, España). Dr. Gonzalo Daniel Tejera López (Universidad de la República, Uruguay). Dr. Matias A. [...]

Título: "EPAs para REST APIs con EvoMaster" Director: Dr. Juan P. Galeotti Jurados: Dr. Guido De Caso y Dr. Sebastian Uchitel Resumen: La validación y verificación de las REST APIs pueden resultar altamente complejas debido a la gran cantidad de endpoints que pueden contener. Cada combinación de llamadas HTTP [...]