Analysis of the IBM CCA Security API Protocols in Maude-NPA. - Antonio González-Burgueño; Sonia Santiago; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001 (SSR, 2014)

Analysis of the PKCS#11 API Using the Maude-NPA Tool. - Antonio González-Burgueño; Sonia Santiago; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001 (SSR, 2015)

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)

Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL. - Antonio González-Burgueño; Peter Csaba Ölveczky (J. Log. Algebraic Methods Program., 2021)