Antonio González-Burgueño
Antonio González-Burgueño
Ph.D fellow, University of Oslo
Bestätigte E-Mail-Adresse bei ifi.uio.no - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Analysis of the IBM CCA security API protocols in Maude-NPA
A González-Burgueno, S Santiago, S Escobar, C Meadows, J Meseguer
International Conference on Research in Security Standardisation, 111-130, 2014
122014
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA
A González-Burgueno, D Aparicio, S Escobar, C Meadows, J Meseguer
arXiv preprint arXiv:1806.07209, 2018
72018
Analysis of the PKCS# 11 API using the Maude-NPA tool
A González-Burgueno, S Santiago, S Escobar, C Meadows, J Meseguer
International Conference on Research in Security Standardisation, 86-106, 2015
62015
Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL
A González-Burgueño, PC Ölveczky
International Conference on Fundamentals of Software Engineering, 129-144, 2019
12019
Protocol analysis modulo exclusive-or theories: a case study in Maude-MPA
A González Burgueño
Universitat Politècnica de València, 2015
12015
Verificación automática de protocolos criptográficos de seguridad
A González Burgueño
Universitat Politècnica de València, 2012
2012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6