Antonio González-Burgueño

According to our database, Antonio González-Burgueño authored at least 4 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL.

Antonio González-Burgueño, Peter Csaba Ölveczky

J. Log. Algebraic Methods Program., 2021

2018

Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA.

Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2015

Analysis of the PKCS#11 API Using the Maude-NPA Tool.

Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer

Proceedings of the Security Standardisation Research - Second International Conference, 2015

2014

Analysis of the IBM CCA Security API Protocols in Maude-NPA.

Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer

Proceedings of the Security Standardisation Research - First International Conference, 2014