Santiago Escobar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
42
Venues
17
Active years
1999–2026
Best venue rank
A*
Where they publish
Papers
42 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | MFCS | Quantitative Equational Rewriting. | Besik Dundua, Georg Ehling, Santiago Escobar, Maribel Fernndez, Temur Kutsia |
| 2025 | ESORICS | A Symbolic Analysis of Hash Functions Vulnerabilities in Maude-NPA. | Arturo Hernndez-Snchez, Santiago Escobar |
| 2025 | PPDP | Folding Narrowing for the Analysis of Mutual Exclusion Protocols. | Ral Lpez-Rueda, Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata |
| 2024 | PPDP | NuITP: An Inductive Theorem Prover for Equational Program Verification. | Francisco J. Durn, Santiago Escobar, Jos Meseguer, Julia Sapia |
| 2024 | PPDP | Programming Open Distributed Systems in Maude. | Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Rubn Rubio, Carolyn L. Talcott |
| 2023 | ESORICS | Protocol Dialects as Formal Patterns. | D. Galn, Vctor Garca, Santiago Escobar, Catherine A. Meadows, Jos Meseguer |
| 2022 | CADE | Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). | Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Rubn Rubio, Carolyn L. Talcott |
| 2022 | ICFEM | Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude. | Vctor Garca, Santiago Escobar, Kazuhiro Ogata |
| 2022 | ICFEM | Canonical Narrowing for Variant-Based Conditional Rewrite Theories. | Ral Lpez-Rueda, Santiago Escobar |
| 2022 | ICFEM | Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude. | Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani |
| 2022 | ICFEM | Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis. | Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata |
| 2022 | LOPSTR | Variant-Based Equational Anti-unification. | Mara Alpuente, Demis Ballis, Santiago Escobar, Julia Sapia |
| 2022 | SEKE | Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude. | Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani |
| 2020 | ESORICS | An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA. | Damin Aparicio-Snchez, Santiago Escobar, Ral Gutirrez, Julia Sapia |
| 2020 | INDOCRYPT | Protocol Analysis with Time. | Damin Aparicio-Snchez, Santiago Escobar, Catherine Meadows, Jos Meseguer, Julia Sapia |
| 2019 | JELIA | ACUOS | Mara Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, Jos Meseguer |
| 2018 | LOPSTR | Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. | Mara Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Jos Meseguer |
| 2018 | LPAR | Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. | Antonio Gonzlez-Burgueo, Damin Aparicio-Snchez, Santiago Escobar, Catherine Meadows, Jos Meseguer |
| 2016 | CADE | Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. | Francisco Durn, Steven Eker, Santiago Escobar, Narciso Mart-Oliet, Jos Meseguer, Carolyn L. Talcott |
| 2016 | LOPSTR | Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. | Mara Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Jos Meseguer |
| 2016 | PPDP | Strand spaces with choice via a process algebra semantics. | Fan Yang, Santiago Escobar, Catherine Meadows, Jos Meseguer, Sonia Santiago |
| 2014 | JELIA | ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. | Mara Alpuente, Santiago Escobar, Javier Espert, Jos Meseguer |
| 2014 | PPDP | Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. | Fan Yang, Santiago Escobar, Catherine Meadows, Jos Meseguer, Paliath Narendran |
| 2013 | CADE | Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. | Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, Jos Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse |
| 2012 | CADE | The use of types in designing unification algorithms: two case studies. | Serdar Erbatur, Santiago Escobar, Paliath Narendran |
| 2012 | ESORICS | Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. | Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, Jos Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse |
| 2011 | PPDP | Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. | Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, Jos Meseguer, Paliath Narendran, Ralf Sasse |
| 2010 | ESORICS | Sequential Protocol Composition in Maude-NPA. | Santiago Escobar, Catherine Meadows, Jos Meseguer, Sonia Santiago |
| 2010 | SYNASC | Approximating Non-interference and Erasure in Rewriting Logic. | Mauricio Alba-Castro, Mara Alpuente, Santiago Escobar |
| 2008 | ESORICS | State Space Reduction in the Maude-NRL Protocol Analyzer. | Santiago Escobar, Catherine Meadows, Jos Meseguer |
| 2008 | FMICS | Automated Certification of Non-Interference in Rewriting Logic. | Mauricio Alba-Castro, Mara Alpuente, Santiago Escobar |
| 2008 | ICLP | Termination of Narrowing Using Dependency Pairs. | Mara Alpuente, Santiago Escobar, Jos Iborra |
| 2008 | LOPSTR | A Modular Equational Generalization Algorithm. | Mara Alpuente, Santiago Escobar, Jos Meseguer, Pedro Ojeda |
| 2008 | MEMOCODE | Directed-Logical Testing for Functional Verification of Microprocessors. | Michael Katelman, Jos Meseguer, Santiago Escobar |
| 2007 | FMICS | Automatic Certification of Java Source Code in Rewriting Logic. | Mauricio Alba-Castro, Mara Alpuente, Santiago Escobar |
| 2005 | CCS | A rewriting-based inference system for the NRL protocol analyzer: grammar generation. | Santiago Escobar, Catherine Meadows, Jos Meseguer |
| 2004 | FLOPS | Implementing Natural Rewriting and Narrowing Efficiently. | Santiago Escobar |
| 2004 | LOPSTR | Natural Rewriting for General Term Rewriting Systems. | Santiago Escobar, Jos Meseguer, Prasanna Thati |
| 2003 | PPDP | Refining weakly outermost-needed rewriting and narrowing. | Santiago Escobar |
| 2002 | LOPSTR | Abstract Diagnosis of Functional Programs. | Mara Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas |
| 2002 | LPAR | Improving On-Demand Strategy Annotations. | Mara Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas |
| 1999 | SOFSEM | UPV-CURRY: An Incremental CURRY Interpreter. | Mara Alpuente, Santiago Escobar, Salvador Lucas |