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 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
2222005
Maude-NPA: Cryptographic protocol analysis modulo equational properties
S Escobar, C Meadows, J Meseguer
Foundations of Security Analysis and Design V, 1-50, 2009
2062009
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
1072006
Folding variant narrowing and optimal variant termination
S Escobar Román, R Sasse, J Meseguer
Journal of Logic and Algebraic Programming 81 (7), 898-928, 2012
982012
Symbolic model checking of infinite-state systems using narrowing
S Escobar, J Meseguer
International Conference on Rewriting Techniques and Applications, 153-168, 2007
822007
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
552013
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
542014
Variant narrowing and equational unification
S Escobar, J Meseguer, R Sasse
Electronic Notes in Theoretical Computer Science 238 (3), 103-119, 2009
532009
State space reduction in the Maude-NRL protocol analyzer
S Escobar, C Meadows, J Meseguer, S Santiago
Information and Computation 238, 157-186, 2014
472014
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
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
402009
A modular order-sorted equational generalization algorithm
M Alpuente, S Escobar, J Espert, J Meseguer
Information and Computation 235, 98-136, 2014
382014
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
Effectively checking the finite variant property
S Escobar, J Meseguer, R Sasse
International Conference on Rewriting Techniques and Applications, 79-93, 2008
272008
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
272005
Order-sorted generalization
M Alpuente, S Escobar, J Meseguer, P Ojeda
Electronic Notes in Theoretical Computer Science 246, 27-38, 2009
262009
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
262007
Natural narrowing for general term rewriting systems
S Escobar, J Meseguer, P Thati
International Conference on Rewriting Techniques and Applications, 279-293, 2005
262005
Improving on-demand strategy annotations
M Alpuente, S Escobar, B Gramlich, S Lucas
International Conference on Logic for Programming Artificial Intelligence …, 2002
262002
The system can't perform the operation now. Try again later.
Articles 1–20