Author:Santiago Escobar

Publications
Formal veriﬁcation of the YubiKey and YubiHSM APIs in Maude-NPA Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows and José Meseguer In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification Santiago Escobar, Konstantin Korovin and Vladimir Rybakov (editors) EPiC Series in Computing, volume 24
The use of types in designing unification algorithms: two case studies Serdar Erbatur, Santiago Escobar and Paliath Narendran In:UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification
Detecting Modular ACU Structural Symmetries María Alpuente, Santiago Escobar and Javier Espert In:UNIF 2013. 27th International Workshop on Unification
Unification and Anti-unification modulo Equational Theories Santiago Escobar In:UNIF 2013. 27th International Workshop on Unification