Antonio Gonzalez Burgueno

Image of Antonio Gonzalez Burgueno
Norwegian version of this page
Mobile phone 99119857
Username
Visiting address Oslo

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