Eduardo Fernández-Medina, representing the GSyA group, attended the SISTEDES Conference in Santiago de Compostela from September 5 to 7, presenting a paper at the Service Science and Engineering Conference (JCIS) titled CARMEN: A framework for the verification and diagnosis of the specification of security requirements in Cyber-physical systems, for which we received the JCIS-INDRA award for the best research paper in defense and security.

This work is the result of a scientific collaboration between the GSyA group of the UCLM and the IDEA group of the University of Seville.