The American cryptographer, Catherine Meadows, and the professor of the University of Illinois at Urbana-Champaign, José Meseguer, have been collaborating on various projects for years with the director of the INCIBE-UPV Cybersecurity Chair, Santiago Escobar
València, 26 July 2024 .- The American cryptographer, Catherine Meadows, senior researcher at the Center for High Security Systems of the Naval Research Laboratory and director of the Formal Methods area of this laboratory in the USA, and the professor of the University of Illinois at Urbana-Champaign in the USA, José Meseguer, have visited the director of the INCIBE-UPV Chair of Cybersecurity, Santiago Escobar, within the framework of their collaboration.
The aim of this visit is to strengthen ties for a fruitful international collaboration of the INCIBE-UPV Cybersecurity Chair, since one of its pillars is the collaboration with top-level international researchers. In addition to the teaching of advanced courses on current topics, exchange of students and researchers, training of future researchers, and collaboration with large companies and international organisations.
This chair is part of the agreement between the National Institute of Cybersecurity (INCIBE), an entity under the Ministry for Digital Transformation and Public Function, through the Secretary of State for Digitalisation and Artificial Intelligence, and the Universitat Politècnica de València included in the programme of Chairs in Cybersecurity in Spain, within the framework of the Recovery, Transformation and Resilience Plan, with funding from the Next Generation-EU Funds.
Automated discovery of bugs in cryptographic protocols
Catherine Meadows is known for her development of tools for formal verification and automated fault discovery in cryptographic protocols. Meadows graduated from the University of Chicago in 1975 and received her PhD in Mathematics from the University of Illinois at Urbana-Champaign in 1981. His thesis was on algebraic geometry. In May 2019, a symposium was held in his honour in Virginia, from which a collection of essays was published.
José Meseguer received his PhD in Mathematics in 1975. In 1980 he joined the Computer Laboratory at SRI International, where he became Principal Scientist and Head of the Declarative Languages and Logic Group. He joined the University of Illinois in 2001 and is currently Professor of Computer Science, where he directs the Formal Methods and Declarative Languages Laboratory. He has worked especially on the design and implementation of declarative languages, including OBJ and Maude, as well as on rewriting logic. In 2019 he was awarded the Formal Methods Europe Fellowship. He is also an ACM Fellow, a programme founded in 1993 by the Association for Computing Machinery that recognises the world’s top 1% of members in computer science.
Santiago Escobar is part of the development team of the Maude-NPA cryptographic protocol analysis tool together with Catherine Meadows and José Meseguer. He is also part of the development team of the Maude modelling and programming language, together with José Meseguer and other researchers.
Cybersecurity Chairs Programme in Spain
INCIBE, within the Global Security Innovation Programme, has the particular mission of raising cybersecurity capabilities and resources in the academic, business and technological ecosystems, aimed at boosting the cybersecurity capabilities of society and the economy in general. The aim of this initiative is to have a programme that seeks to promote and generate knowledge and its transfer to the productive sector, especially by establishing synergies between the social and economic spheres of cybersecurity. With the aim of developing this purpose, the public invitation for collaboration in the promotion of cybersecurity chairs in Spain was launched on 1 December 2022.
The initiatives and actions of the Cybersecurity Chairs programme in Spain are included in the Global Security Innovation Programme, included in the Recovery, Transformation and Resilience Plan (PRTR) through Component 15. Investment 7 Cybersecurity: Strengthening the capacities of citizens, SMEs and professionals and boosting the sector. It acts especially in three of the six key aspects of the industry included in milestone 245 of the PRTR: boosting the national cybersecurity industry for the emergence, growth and development of companies in this sector; developing high value-added solutions and services in the field of cybersecurity; and training and developing specialised talent in the field of cybersecurity.
Catherine Meadows y José Meseguer visitan la Cátedra de Ciberseguridad INCIBE-UPV
La criptógrafa estadounidense, Catherine Meadows, y el catedrático de la Universidad de Illinois en Urbana-Champaign, José Meseguer, colaboran en diversos proyectos, desde hace años, con el director de la Cátedra de Ciberseguridad INCIBE-UPV, Santiago Escobar
València, 26 de julio de 2024.- La criptógrafa estadounidense, Catherine Meadows, investigadora senior en el Centro de Sistemas de Alta Seguridad del Laboratorio de Investigación Naval y directora del área de Métodos Formales de este laboratorio en EE.UU. y el catedrático de la Universidad de Illinois en Urbana-Champaign de EE.UU., José Meseguer, han visitado al director de la Cátedra de Ciberseguridad INCIBE-UPV, Santiago Escobar, en el marco de colaboración que mantienen.
El objetivo de esta visita es estrechar lazos para una fructífera colaboración internacional de la Cátedra de Ciberseguridad INCIBE-UPV ya que uno de sus pilares es la colaboración con investigadores internacionales de primer nivel. Además de la impartición de cursos avanzados sobre temáticas actuales, intercambio de estudiantes e investigadores, la formación de futuros investigadores, y la colaboración con grandes empresas y organismos internacionales.
Esta cátedra es parte del convenio entre el Instituto Nacional de Ciberseguridad (INCIBE), entidad dependiente del Ministerio para la Transformación Digital y de la Función Pública, a través de la Secretaría de Estado de Digitalización e Inteligencia Artificial, y la Universitat Politècnica de València incluida en el programa de Cátedras de Ciberseguridad en España, en el marco del Plan de Recuperación, Transformación y Resiliencia, con la financiación de los Fondos Next Generation-EU.
Descubrimiento automatizado de fallos en protocolos criptográficos
Catherine Meadows es conocida por su desarrollo de herramientas para la verificación formal y el descubrimiento automatizado de fallos en protocolos criptográficos. Meadows se licenció en 1975 por la Universidad de Chicago y se doctoró en Matemáticas por la Universidad de Illinois en Urbana-Champaign en 1981. Su tesis versaba sobre geometría algebraica. En mayo de 2019 se celebró un simposio en su honor, en Virginia, del que se publicó una colección de ensayos.
Por su parte, José Meseguer se doctoró en Matemáticas en 1975. En 1980 se incorporó al Laboratorio de informática de SRI International, dónde llegó a ser Científico Principal y Jefe del Grupo de Lógica y Lenguajes Declarativos. Se incorporó a la Universidad de Illinois en 2001 y en la actualidad es Catedrático de Informática, donde dirige el Laboratorio de Métodos Formales y Lenguajes Declarativos. Ha trabajado especialmente en el diseño y la implementación de lenguajes declarativos, incluidos OBJ y Maude, así como en lógica de reescritura. En 2019 fue galardonado con el premio Formal Methods Europe Fellowship. Además, es “ACM Fellow”, un programa fundado en 1993 por la “Association for Computing Machinery” que reconoce al 1% de los miembros más destacados del mundo en informática.
Santiago Escobar es parte del equipo de desarrollo de la herramienta de análisis de protocolos criptográficos Maude-NPA junto con Catherine Meadows y José Meseguer. Y también es parte del equipo de desarrollo del lenguaje de modelado y programación Maude, junto con Jose Meseguer y otros investigadores.
Programa de Cátedras de Ciberseguridad en España
INCIBE, dentro del Programa Global de Innovación en Seguridad, tiene como misión particular la elevación de las capacidades y recursos en ciberseguridad, en los ecosistemas académico, empresarial y tecnológico, dirigidos a impulsar las capacidades en ciberseguridad de la sociedad y la economía en general. Esta iniciativa tiene el propósito de disponer de un programa que persiga la promoción y generación del conocimiento y la transferencia del mismo al sector productivo, especialmente estableciendo sinergias entre los ámbitos sociales y económicos de la ciberseguridad. Con el objetivo de desarrollar este propósito se lanzó el pasado 1 de diciembre de 2022 la invitación pública para la colaboración en la promoción de cátedras de ciberseguridad en España.
Las iniciativas y actuaciones del programa de Cátedras de Ciberseguridad en España se engloban dentro del Programa Global de Innovación en Seguridad, contemplado en el Plan de Recuperación, Transformación y Resiliencia (PRTR) a través del Componente 15. Inversión 7 Ciberseguridad: Fortalecimiento de las capacidades de ciudadanos, PYMES y profesionales e impulso del sector. Actúa especialmente en tres de los seis aspectos claves de la industria recogidos en el hito 245 del PRTR: impulsar la industria nacional de la ciberseguridad para el surgimiento, crecimiento y desarrollo de empresas en este sector; desarrollar soluciones y servicios de alto valor añadido en el ámbito de la ciberseguridad; y formar y desarrollar talentos especializados en el ámbito de la ciberseguridad.