HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Santiago Escobar

Publications
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 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

Keyphrases

API, El Gamal Signature Scheme, equational generalization, Equational Unification, event lists, Exclusive-OR, graph automorphism, Lamport clocks, mutable memory, protocol verification, Structural symmetries, type systems, YubiHSM, YubiKey.

Copyright © 2012-2023 easychair.org. All rights reserved.