Filter Results:
- Full text PDF available (71)
Publication Year
1989
2017
- This year (2)
- Last 5 years (27)
- Last 10 years (61)
Publication Type
Co-author
Journals and Conferences
Learn More
- Santiago Escobar, Catherine A. Meadows, José Meseguer
- Theor. Comput. Sci.
- 2006
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-life protocols. One of… (More)
- Germán Vidal, Sergio Antoy, +12 authors Alicia Villanueva
- 2003
Correction of Functional Programs . . . . . . . . . . . . . . . . . . . . . . . . . . 7<lb>M. Alpuente (U.P. Valencia), D. Ballis (U. Udine), S. Escobar (U.P.<lb>Valencia), M. Falaschi (U. Udine),… (More)
Intuitively, two protocols P1 and P2 are indistinguishable if an attacker cannot tell the difference between interactions with P1 and with P2. In this paper we: (i) propose an intuitive notion of… (More)
- S. D. Lyman, Leena James, +7 authors Helen McKenna
- Blood
- 1994
Using a fragment of the murine flt3 ligand as a probe, we have succeeded in cloning a human flt3 ligand from a human T-cell lambda gt10 cDNA library. The human and murine ligands are 72% identical at… (More)
- MarÃa Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas
- LOPSTR
- 2002
Diagnosis of Functional Programs M. Alpuente, M. Comini, S. Escobar, M. Falaschi, and S. Lucas 1 Departamento de Sistemas Informáticos y Computación-DSIC Technical University of Valencia, Camino de… (More)
- Manuel Clavel, Francisco Durán, +5 authors Carolyn L. Talcott
- RTA
- 2009
Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications, and has a relatively large… (More)
- Santiago Escobar, Catherine A. Meadows, José Meseguer
- FOSAD
- 2007
In this tutorial, we give an overview of the Maude-NRL Protocol Analyzer (Maude-NPA), a tool for the analysis of cryptographic protocols using functions that obey different equational theories. We… (More)
- Santiago Escobar, Catherine A. Meadows, José Meseguer
- ESORICS
- 2008
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different equational… (More)
- MarÃa Alpuente, Santiago Escobar, Salvador Lucas
- SOFSEM
- 1999
Functional logic programming integrates the best features of modern functional and logic languages. The multi-paradigm declarative language Curry is an extension of Haskell which is intended to… (More)
- MarÃa Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda
- LOPSTR
- 2008
This paper presents a modular equational generalization algorithm, where function symbols can have any combination of associativity, commutativity, and identity axioms (including the empty set). This… (More)