Santiago Escobar
Santiago Escobar
VRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de València
Verified email at upv.es - Homepage
Title
Cited by
Cited by
Year
Maude-NPA: Cryptographic protocol analysis modulo equational properties
S Escobar, C Meadows, J Meseguer
Foundations of Security Analysis and Design V, 1-50, 2009
2232009
Maude manual (version 2.1)
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott
SRI International, Menlo Park, 2005
2212005
A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
S Escobar, C Meadows, J Meseguer
Theoretical Computer Science 367 (1-2), 162-202, 2006
1152006
Folding variant narrowing and optimal variant termination
S Escobar, R Sasse, J Meseguer
The Journal of Logic and Algebraic Programming 81 (7-8), 898-928, 2012
1062012
Symbolic model checking of infinite-state systems using narrowing
S Escobar, J Meseguer
International Conference on Rewriting Techniques and Applications, 153-168, 2007
852007
Abstract logical model checking of infinite-state systems using narrowing
K Bae, S Escobar, J Meseguer
24th International Conference on Rewriting Techniques and Applications (RTA …, 2013
642013
A formal definition of protocol indistinguishability and its verification using Maude-NPA
S Santiago, S Escobar, C Meadows, J Meseguer
International Workshop on Security and Trust Management, 162-177, 2014
552014
Variant narrowing and equational unification
S Escobar, J Meseguer, R Sasse
Electronic Notes in Theoretical Computer Science 238 (3), 103-119, 2009
542009
State space reduction in the Maude-NRL protocol analyzer
S Escobar, C Meadows, J Meseguer, S Santiago
Information and Computation 238, 157-186, 2014
502014
Unification and narrowing in Maude 2.4
M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martí-Oliet, ...
International Conference on Rewriting Techniques and Applications, 380-390, 2009
412009
Abstract diagnosis of functional programs
M Alpuente, M Comini, S Escobar, M Falaschi, S Lucas
International Workshop on Logic-Based Program Synthesis and Transformation, 1-16, 2002
412002
A modular order-sorted equational generalization algorithm
M Alpuente, S Escobar, J Espert, J Meseguer
Information and Computation 235, 98-136, 2014
402014
A rewriting-based inference system for the NRL protocol analyzer: grammar generation
S Escobar, C Meadows, J Meseguer
Proceedings of the 2005 ACM workshop on Formal methods in security …, 2005
302005
Folding variant narrowing and optimal variant termination
S Escobar, R Sasse, J Meseguer
International Workshop on Rewriting Logic and its Applications, 52-68, 2010
292010
Correct and complete (positive) strategy annotations for OBJ
M Alpuente, S Escobar, S Lucas
Electronic Notes in Theoretical Computer Science 71, 70-89, 2004
292004
Variants of variants and the finite variant property
A Cholewa, J Meseguer, S Escobar
282014
Equational cryptographic reasoning in the Maude-NRL protocol analyzer
S Escobar, C Meadows, J Meseguer
Electronic Notes in Theoretical Computer Science 171 (4), 23-36, 2007
282007
Natural narrowing for general term rewriting systems
S Escobar, J Meseguer, P Thati
International Conference on Rewriting Techniques and Applications, 279-293, 2005
282005
Order-sorted generalization
M Alpuente, S Escobar, J Meseguer, P Ojeda
Electronic Notes in Theoretical Computer Science 246, 27-38, 2009
272009
Effectively checking the finite variant property
S Escobar, J Meseguer, R Sasse
International Conference on Rewriting Techniques and Applications, 79-93, 2008
272008
The system can't perform the operation now. Try again later.
Articles 1–20