Antonio Gonzalez Burgueno

Doctoral Research Fellow - Department for Informatics
Image of Antonio Gonzalez Burgueno
Norwegian version of this page
Mobile phone 99119857
Username
Visiting address Oslo
Postal address Postboks 1080 Blindern 0316 OSLO
Other affiliations Faculty of Mathematics and Natural Sciences (Student)

Página Personal

Publications

View all works in 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..

View all works in Cristin

Published Oct. 22, 2014 2:28 PM - Last modified Dec. 2, 2015 2:44 PM