María Isabel González Vasco,Ágata A. Timón

Un reciente resultado describe la dificultad de demostrar la existencia de funciones de una vía, lo que determina la fiabilidad de muchas de las herramientas utilizadas en ciberseguridad