dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Santiago Escobar (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse: Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS 2012: 73-90
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse: Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. PPDP 2011: 65-76
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott: Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA 2011: 31-40
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer: State Space Reduction in the Maude-NRL Protocol Analyzer CoRR abs/1105.5282: (2011)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago: Sequential Protocol Composition in Maude-NPA. ESORICS 2010: 303-318
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer: Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM 2010: 163-178
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Ralf Sasse, José Meseguer: Folding Variant Narrowing and Optimal Variant Termination. WRLA 2010: 52-68
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Unification and Narrowing in Maude 2.4. RTA 2009: 380-390
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, José Meseguer, Ralf Sasse: Variant Narrowing and Equational Unification. Electr. Notes Theor. Comput. Sci. 238(3): 103-119 (2009)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda: Order-Sorted Generalization. Electr. Notes Theor. Comput. Sci. 246: 27-38 (2009)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer: A Graphical User Interface for Maude-NPA. Electr. Notes Theor. Comput. Sci. 258(1): 3-20 (2009)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer: State Space Reduction in the Maude-NRL Protocol Analyzer. ESORICS 2008: 548-562
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda: A Modular Equational Generalization Algorithm. LOPSTR 2008: 24-39
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Katelman, José Meseguer, Santiago Escobar: Directed-Logical Testing for Functional Verification of Microprocessors. MEMOCODE 2008: 89-100
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, José Meseguer, Ralf Sasse: Effectively Checking the Finite Variant Property. RTA 2008: 79-93
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer: Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. FOSAD 2007: 1-50
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, José Meseguer: Symbolic Model Checking of Infinite-State Systems Using Narrowing. RTA 2007: 153-168
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer: Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. Electr. Notes Theor. Comput. Sci. 171(4): 23-36 (2007)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, José Meseguer, Prasanna Thati: Narrowing and Rewriting Logic: from Foundations to Applications. Electr. Notes Theor. Comput. Sci. 177: 5-33 (2007)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer: A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theor. Comput. Sci. 367(1-2): 162-202 (2006)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, Catherine Meadows, José Meseguer: A rewriting-based inference system for the NRL protocol analyzer: grammar generation. FMSE 2005: 1-12
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, José Meseguer, Prasanna Thati: Natural Narrowing for General Term Rewriting Systems. RTA 2005: 279-293
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSantiago Escobar, José Meseguer, Prasanna Thati: Natural Rewriting for General Term Rewriting Systems. LOPSTR 2004: 101-116

Selection of 23 from 62 records - Santiago Escobar has 30 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page