Antonio González-Burgueño

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

Collaborative distances:

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

2019

Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL.

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

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

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