Antonio Gonzalez Burgueno

Publikasjoner

Se alle arbeider i Cristin

  • González-Burgueño, Antonio; Aparicio-Sánchez, Damián; Escobar, Santiago; Meadows, Catherine & Meseguer, José (2018). Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA.
  • Burgueno, Antonio Gonzalez; Escobar, Santiago; Meseguer, José; Meadows, Catherine & Santiago, Sonia (2015). Analysis of the PKCS#11 API Using the Maude-NPA Tool..

Se alle arbeider i Cristin

Publisert 22. okt. 2014 14:27 - Sist endret 21. juni 2017 12:34