Programa

Sesión 1

Generación de un Gemelo Digital Formal del protocolo PTP mediante Aprendizaje de Autómatas. Rafael López Gómez, Delia Rico, María del Mar Gallardo, Laura Panizo.

Large Indexed Merkle Trees. Inés Cipullo, Margarita Capretto, Martín Ceresa, César Sánchez.

Una representación geométrica triesférica para sistemas de dos qubits. Cristian Franco, Hernan I. de la Cruz, Fernando L. Pelayo, Vicente Pascual, Mauro Mezini, José Javier Paulet, Fernando Cuartero

Sesión 2

Equilibrium: Previniendo Ataques de Arbitrage en Optimistic Rollups. Margarita Capretto, Martín Ceresa, Hannes Kallwies, César Sánchez

Hacia un Sistema Descentralizado de Identidad Digital basado en Blockchain. Jesús Rosa-Bilbao, Juan Boubeta-Puig

Implementación y evaluación de setchain. Arivarasan Karmegam, Gabina Luz Bianchi, Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, César Sánchez

Sesión 3

Auditoría sin filtraciones a pesar de la curiosidad. Hagit Attiya, Antonio Fernández Anta, Alessia Milani, Alexandre Rapetti, Corentin Travers.

Algoritmos de Consenso Cuántico. Nicolás Borrajo, Farzam Nosrati, Vicent Cholvi, Vincenzo Mancuso, Antonio Fernández Anta

Una Introducción a las Lógicas Temporales para Hyperpropiedades. César Sánchez

Sesión 4

Tolerancia a fallos en Entornos Multicluster. Ainhoa Azqueta-Alzúaz, Marta Patiño-Martínez.

Coste Reconfiguración de Aplicaciones en el Continuo. Marta Patiño-Martínez, Ainhoa Azqueta-Alzúaz.

Integración de Metaheurísticas Distribuidas y Computación GPU en el Procesamiento de Big Data. Manuel I. Capel, Javier Gómez–Garaluz, Juan A. Holgado-Terriza