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
112014
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
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
42018
Protocol analysis modulo exclusive-or theories: a case study in Maude-MPA
A González Burgueño
12015
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
2019
Verificación automática de protocolos criptográficos de seguridad
A González Burgueño
2012
Guía de informática
JAF Pastor, AG Burgueño
Universidad Politécnica de Valencia, 2005
2005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7