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: 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: "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 [...]