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