Publicacions en què col·labora amb Santiago Escobar Román (1)

2022

  1. Parallel Maude-NPA for Cryptographic Protocol Analysis

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)