The director of the INCIBE-UPV Cybersecurity Chair, Santiago Escobar, together with other researchers, presented an article on the latest developments in Maude at the programming level that develops and deploys a distributed system to control a pacemaker in a person
València, September 11, 2024.- The Director of the INCIBE-UPV Chair in Cybersecurity, Santiago Escobar, has participated in the 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024) with two papers focusing on Maude programming. The first one, entitled ‘Programming Open Distributed Sistems in Maude’, explains the latest developments in Maude at the level of concurrent and distributed programming of objects or agents and develops a distributed system to control a pacemaker in a human.
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 of Cybersecurity in Spain, within the framework of the Recovery, Transformation and Resilience Plan, with funding from the Next Generation-EU Funds.
The 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024), held on 10 and 11 September at the Politecnico di Milano, also featured a second paper by the director of the INCIBE-UPV Chair in Cybersecurity, entitled ‘NuITIP: An Inductive Theorem Prover for Equational Program Verification’.
New Theorem Prover
In this second article, Santiago Escobar, together with other researchers, develops the first official presentation of a new theorem prover, NuITP for systems written in Maude. This system promises to bridge the gap that currently exists between well-known theorem provers, such as the German Isabelle, the American PVS or the French Coq, and modern development and programming languages.
One of the pillars of the INCIBE-UPV Cybersecurity Chair is the collaboration with international researchers where this symposium is inserted. 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.
The 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024) has brought together researchers from the declarative programming communities, as well as those working in the functional, logic, answer set and constraint management programming paradigms. It aims to stimulate research into the use of logical formalisms and methods for analysing, performing, specifying and reasoning about computations including concurrency, safety, static analysis and verification mechanisms.
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 solutions and services with high added value in the field of cybersecurity; and training and developing specialised talent in the field of cybersecurity.
About INCIBE
The National Institute of Cybersecurity is an entity dependent on the Ministry for Digital Transformation and Public Function, through the Secretary of State for Digitalisation and Artificial Intelligence, consolidated as a reference entity for the development of cybersecurity and digital confidence of citizens and companies. It is also a driving force for social transformation and an opportunity for innovation, fostering R&D&I and talent.
About UPV
The Universitat Politècnica de València (UPV) is, according to the Academic Ranking of World Universities (ARWU), known as the Shanghai ranking, the best technological university in Spain. More than 70% of UPV students are already working a year after completing their studies. And this is largely due to paid internships in companies. The UPV has more than a thousand agreements that allow student exchanges with other universities in Europe, Latin America, the United States, Canada, Australia, China and Japan. In its little more than 50 years of history, it has produced more than 145,000 scientific publications. It is a national leader in the number of patents and one of the Spanish academic institutions that obtains most income from its research activity.
El director de la Cátedra de Ciberseguridad INCIBE-UPV participa con dos artículos en el PPDP 2024
El director de la Cátedra de Ciberseguridad INCIBE-UPV, Santiago Escobar, ha presentado, junto a otros investigadores, un artículo sobre los últimos desarrollos en Maude a nivel de programación que desarrolla y despliega un sistema distribuido para controlar un marcapasos en una persona
València, 11 de septiembre de 2024.- El director de la Cátedra de Ciberseguridad INCIBE-UPV, Santiago Escobar, ha participado en el 26º Simposio Internacional sobre Principios y Práctica de la Programación Declarativa (PPDP 2024) con dos artículos que se centran en la programación Maude. El primero de ellos, bajo el título “Programming Open Distributed Sistems in Maude”, explica los últimos desarrollos en Maude a nivel de programación concurrente y distribuida de objetos o agentes y en él se desarrolla un sistema distribuido para controlar un marcapasos en un humano.
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.
El 26º Simposio Internacional sobre Principios y Práctica de la Programación Declarativa (PPDP 2024), celebrado el 10 y 11 de septiembre en el Politécnico de Milán, ha contado además con un segundo artículo del director de la Cátedra de Ciberseguridad INCIBE-UPV, bajo el título “NuITIP: An Inductive Theorem Prover for Equational Program Verification”.
Nuevo demostrador de teoremas
En este segundo artículo, Santiago Escobar, junto a otros investigadores, desarrolla la primera presentación oficial de un demostrador de teoremas nuevo, NuITP para sistemas escritos en Maude. Este sistema promete salvar la diferencia que existe en la actualidad entre demostradores de teoremas muy conocidos, como el alemán Isabelle, el americano PVS o el francés Coq, y los modernos leguajes de desarrollo y programación.
Uno de los pilares de la Cátedra de Ciberseguridad INCIBE-UPV es la colaboración con investigadores internacionales donde se inserta este simposio. 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.
El 26º Simposio Internacional sobre Principios y Práctica de la Programación Declarativa (PPDP 2024) ha reunido a investigadores de las comunidades de programación declarativa, además de aquellos que trabajan en los paradigmas de programación funcional, lógica, de conjuntos de respuestas y de manejo de restricciones. Su objetivo es estimular la investigación en el uso de formalismos lógicos y métodos para analizar, realizar, especificar y razonar sobre cálculos con la inclusión de mecanismos de concurrencia, seguridad, análisis estático y verificación.
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 delPrograma 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.
Sobre INCIBE
El Instituto Nacional de Ciberseguridad es una 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, consolidado como entidad de referencia para el desarrollo de la ciberseguridad y de la confianza digital de los ciudadanos y las empresas. Además, es un motor de transformación social y oportunidad para la innovación, fomentando la I+D+i y el talento.
Sobre UPV
La Universitat Politècnica de València (UPV) es, según el Academic Ranking of World Universities (ARWU), conocido como ranking de Shanghai, la mejor universidad tecnológica de España. Más del 70% del alumnado de la UPV ya trabaja al año de haber finalizado sus estudios. Y ello se debe en buena medida a las prácticas en empresa que son remuneradas. La UPV mantiene más de mil convenios que permiten el intercambio de estudiantes con otras universidades europeas, de América Latina, Estados Unidos, Canadá, Australia, China y Japón. En sus poco más de 50 años de historia, ha producido más de 145.000 publicaciones científicas. Es líder nacional en número de patentes y una de las instituciones académicas españolas que más ingresos obtiene gracias a su actividad investigadora.