Antonio Gonzalez Burgueno

Bilde av Antonio Gonzalez Burgueno
English version of this page
Brukernavn
Besøksadresse Gaustadalléen 23a Ole-Johan Dahls hus 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO
Andre tilknytninger Det matematisk-naturvitenskapelige fakultet (Student)

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