Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. - Antonio González-Burgueño; Damián Aparicio-Sánchez; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001 (LPAR, 2018)

An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA. - Damián Aparicio-Sánchez; Santiago Escobar 001; Raúl Gutiérrez; Julia Sapiña (ESORICS (2), 2020)

Protocol Analysis with Time. - Damián Aparicio-Sánchez; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001; Julia Sapiña (INDOCRYPT, 2020)

Variant-based Equational Unification under Constructor Symbols. - Damián Aparicio-Sánchez; Santiago Escobar 001; Julia Sapiña (ICLP Technical Communications, 2020)

Protocol Analysis with Time and Space. - Damián Aparicio-Sánchez; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001; Julia Sapiña (Protocols, Strands, and Logic, 2021)