Catehrine Meadows and José Meseguer receive researchers of the INCIBE-UPV Cybersecurity Chair at the University of Illinois Urbana-Champaign
Víctor García Valero y Enrique Gallifa Tronch have started working with the development team of the Maude-NPA cryptographic protocol analysis tool formed by Catherine Meadows, José Meseguer and the director of the INCIBE-UPV Chair, Santiago Escobar, who is directing their doctoral theses València, October, 15, 2024.- The American cryptographer, Catherine Meadows, senior researcher at the […]