Antonio González-Burgueño
Antonio González-Burgueño
Ph.D fellow, University of Oslo
Verified email at ifi.uio.no - Homepage
TitleCited byYear
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
92014
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
32015
Protocol analysis modulo exclusive-or theories: a case study in Maude-MPA
A GONZÁLEZ BURGUEÑO
12015
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA
A González-Burgueño, D Aparicio-Sánchez, S Escobar, C Meadows, ...
EPiC Series in Computing 57, 400-417, 2018
2018
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
2018
Verificación automática de protocolos criptográficos de seguridad
A GONZÁLEZ BURGUEÑO
2012
Guía de informática
JAF Pastor, AG Burgueño
Universidad Politécnica de Valencia, 2005
2005
The system can't perform the operation now. Try again later.
Articles 1–7