Santiago Escobar participates in the summer course: Formal Methods for Information Security
The director of the INCIBE-UPV Cybersecurity Chair gave an overview of the Maude-NRL Protocol Analyzer (Maude-NPA), a tool for the symbolic analysis of cryptographic protocols València, June 23, 2025 .- The director of the INCIBE-UPV Cybersecurity Chair, the result of an agreement between the National Cybersecurity Institute (INCIBE), an entity under the Ministry for Digital […]










