| Analysis of the IBM CCA security API protocols in Maude-NPA A González-Burgueno, S Santiago, S Escobar, C Meadows, J Meseguer International Conference on Research in Security Standardisation, 111-130, 2014 | 11 | 2014 |
| Analysis of the PKCS# 11 API using the Maude-NPA tool A González-Burgueno, S Santiago, S Escobar, C Meadows, J Meseguer International Conference on Research in Security Standardisation, 86-106, 2015 | 6 | 2015 |
| Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA A González-Burgueno, D Aparicio, S Escobar, C Meadows, J Meseguer arXiv preprint arXiv:1806.07209, 2018 | 3 | 2018 |
| Protocol analysis modulo exclusive-or theories: a case study in Maude-MPA A GONZÁLEZ BURGUEÑO | 1 | 2015 |
| Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL A González-Burgueño, PC Ölveczky International Conference on Fundamentals of Software Engineering, 129-144, 2019 | | 2019 |
| Verificación automática de protocolos criptográficos de seguridad A GONZÁLEZ BURGUEÑO | | 2012 |
| Perspectivas interdisciplinares de lingüistica aplicada: actas del XXII coloquio internacional MLC Pastor Universidad politécnica de Valencia., 2005 | | 2005 |
