Follow
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, CA Meadows, J Meseguer
FOSAD 5705, 1-50, 2007
2692007
Maude manual (version 3.1)
M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martı-Oliet, ...
SRI International University of Illinois at Urbana-Champaign http://maude …, 2020
1892020
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
1582012
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
1362006
Symbolic model checking of infinite-state systems using narrowing
S Escobar, J Meseguer
Term Rewriting and Applications: 18th International Conference, RTA 2007 …, 2007
992007
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
782013
A formal definition of protocol indistinguishability and its verification using Maude-NPA
S Santiago, S Escobar, C Meadows, J Meseguer
Security and Trust Management: 10th International Workshop, STM 2014 …, 2014
622014
Variant narrowing and equational unification
S Escobar, J Meseguer, R Sasse
Electronic Notes in Theoretical Computer Science 238 (3), 103-119, 2009
622009
State space reduction in the Maude-NRL protocol analyzer
S Escobar, C Meadows, J Meseguer, S Santiago
Information and Computation 238, 157-186, 2014
612014
A modular order-sorted equational generalization algorithm
M Alpuente, S Escobar, J Espert, J Meseguer
Information and Computation 235, 98-136, 2014
552014
Variants of variants and the finite variant property
A Cholewa, J Meseguer, S Escobar
47*2014
Effective symbolic protocol analysis via equational irreducibility conditions
S Erbatur, S Escobar, D Kapur, Z Liu, C Lynch, C Meadows, J Meseguer, ...
Computer Security–ESORICS 2012: 17th European Symposium on Research in …, 2012
47*2012
Programming and symbolic computation in Maude
F Durán, S Eker, S Escobar, N Martí-Oliet, J Meseguer, R Rubio, C Talcott
Journal of Logical and Algebraic Methods in Programming 110, 100497, 2020
452020
Natural narrowing for general term rewriting systems
S Escobar, J Meseguer, P Thati
International Conference on Rewriting Techniques and Applications, 279-293, 2005
44*2005
Unification and Narrowing in Maude 2.4.
M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martí-Oliet, ...
RTA 5595, 380-390, 2009
412009
Abstract diagnosis of functional programs
M Alpuente, M Comini, S Escobar, M Falaschi, S Lucas
Logic Based Program Synthesis and Transformation: 12th International …, 2003
412003
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption
S Escobar, D Kapur, C Lynch, C Meadows, J Meseguer, P Narendran, ...
Proceedings of the 13th international ACM SIGPLAN symposium on Principles …, 2011
39*2011
Effectively checking the finite variant property
S Escobar, J Meseguer, R Sasse
Rewriting Techniques and Applications: 19th International Conference, RTA …, 2008
36*2008
Termination of narrowing revisited
M Alpuente, S Escobar, J Iborra
Theoretical Computer Science 410 (46), 4608-4625, 2009
35*2009
Implementing natural rewriting and narrowing efficiently
S Escobar
International Symposium on Functional and Logic Programming, 147-162, 2004
35*2004
The system can't perform the operation now. Try again later.
Articles 1–20