Santiago Escobar

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 56

Top Venues

CoRR

J. Log. Algebraic Methods Program.

WRLA@ETAPS

LOPSTR

Publications

Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol. IEEE Access 12 (2024)
Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña
Verifying Invariants by Deductive Model Checking. WRLA (2024)
Raúl López-Rueda, Santiago Escobar, Julia Sapiña
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis. J. Log. Algebraic Methods Program. 135 (2023)
Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version. PeerJ Comput. Sci. 9 (2023)
D. Galán, Víctor García, Santiago Escobar, Catherine A. Meadows, José Meseguer
Protocol Dialects as Formal Patterns. ESORICS (2) (2023)
María Alpuente, Demis Ballis, Santiago Escobar, D. Galán, Julia Sapiña
Safety enforcement via programmable strategies in Maude. J. Log. Algebraic Methods Program. 132 (2023)
Santiago Escobar, Raúl López-Rueda, Julia Sapiña
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints. FTSCS (2023)
María Alpuente, Demis Ballis, Santiago Escobar, José Meseguer, Julia Sapiña
Optimizing Maude Programs via Program Specialization. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Raúl López-Rueda, Santiago Escobar, Julia Sapiña
An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis. CoRR (2023)
Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
Strand Spaces with Choice via a Process Algebra Semantics. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Víctor García, Santiago Escobar, Kazuhiro Ogata, Sedat Akleylek, Ayoub Otmani
Modelling and verification of post-quantum key encapsulation mechanisms using Maude. PeerJ Comput. Sci. 9 (2023)
María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
Variant-Based Equational Anti-unification. LOPSTR (2022)
Raúl López-Rueda, Santiago Escobar, José Meseguer
An Efficient Canonical Narrowing Implementation for Protocol Analysis. WRLA@ETAPS (2022)
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude. SEKE (2022)
María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña
Order-sorted equational generalization algorithm revisited. Ann. Math. Artif. Intell. 90 (5) (2022)
Raúl López-Rueda, Santiago Escobar
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method. WRLA@ETAPS (2022)
Raúl López-Rueda, Santiago Escobar
Canonical Narrowing for Variant-Based Conditional Rewrite Theories. ICFEM (2022)
María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
Optimization of rewrite theories by equational partial evaluation. J. Log. Algebraic Methods Program. 124 (2022)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR (2022)
Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata
Parallel Maude-NPA for Cryptographic Protocol Analysis. WRLA@ETAPS (2022)
María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis
Symbolic Specialization of Rewriting Logic Theories with Presto. Theory Pract. Log. Program. 22 (3) (2022)
Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis. FAVPQC@ICFEM (2022)
Víctor García, Santiago Escobar, Kazuhiro Ogata
Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude. FAVPQC@ICFEM (2022)
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude. FAVPQC@ICFEM (2022)
María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
Symbolic Specialization of Rewriting Logic Theories with Presto. CoRR (2021)
Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña
Protocol Analysis with Time and Space. Protocols, Strands, and Logic (2021)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms. Fundam. Informaticae 177 (3-4) (2020)
Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña
Protocol Analysis with Time. CoRR (2020)
Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer, Julia Sapiña
Protocol Analysis with Time. INDOCRYPT (2020)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
A partial evaluation framework for order-sorted equational programs modulo axioms. J. Log. Algebraic Methods Program. 110 (2020)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. 110 (2020)
Damián Aparicio-Sánchez, Santiago Escobar, Raúl Gutiérrez, Julia Sapiña
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA. ESORICS (2) (2020)
Damián Aparicio-Sánchez, Santiago Escobar, Julia Sapiña
Variant-based Equational Unification under Constructor Symbols. ICLP Technical Communications (2020)
María Alpuente, Santiago Escobar, Julia Sapiña, Demis Ballis
Symbolic Analysis of Maude Theories with Narval. Theory Pract. Log. Program. 19 (5-6) (2019)
Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer
Strand Spaces with Choice via a Process Algebra Semantics. CoRR (2019)
María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance. JELIA (2019)
Santiago Escobar, José Meseguer
Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method. Foundations of Security, Protocols, and Equational Reasoning (2019)
María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
Symbolic Analysis of Maude Theories with Narval. CoRR (2019)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
Programming and Symbolic Computation in Maude. CoRR (2019)
Santiago Escobar, Julia Sapiña
Most General Variant Unifiers. ICLP Technical Communications (2019)
Antonio González-Burgueño, Damián Aparicio, Santiago Escobar, Catherine A. Meadows, José Meseguer
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. CoRR (2018)
Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer
Modular Verification of Sequential Composition for Private Channels in Maude-NPA. STM (2018)
Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. LPAR (2018)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA@ETAPS (2018)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms. CoRR (2018)
Santiago Escobar
Multi-paradigm Programming in Maude. WRLA@ETAPS (2018)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. LOPSTR (2018)
Santiago Escobar
Rewriting Logic and its Applications (extended selected papers from WRLA 2014). J. Log. Algebraic Methods Program. 86 (1) (2017)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Julia Sapiña
Inspecting Maude Variants with GLINTS. CoRR (2017)
María Alpuente, Santiago Escobar, Julia Sapiña, Angel Cuenca-Ortega
Inspecting Maude variants with GLINTS. Theory Pract. Log. Program. 17 (5-6) (2017)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
Partial Evaluation of Order-sorted Equational Programs modulo Axioms. CoRR (2016)
Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
Strand spaces with choice via a process algebra semantics. PPDP (2016)
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. LOPSTR (2016)
Santiago Escobar
Rewriting logic and its applications (extended selected papers from WRLA 2014). J. Log. Algebraic Methods Program. 85 (1) (2016)
Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer
Effective Sequential Protocol Composition in Maude-NPA. CoRR (2016)
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR (2016)
Andrew Cholewa, Santiago Escobar, José Meseguer
Constrained narrowing for conditional equational theories modulo axioms. Sci. Comput. Program. 112 (2015)
Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories. Programming Languages with Applications to Biology and Security (2015)
Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer
Analysis of the PKCS#11 API Using the Maude-NPA Tool. SSR (2015)
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott
Two Decades of Maude. Logic, Rewriting, and Concurrency (2015)
Santiago Escobar, Moreno Falaschi
Functional and (Constraint) Logic Programming. Inf. Comput. 235 (2014)
María Alpuente, Santiago Escobar, Javier Espert, José Meseguer
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. JELIA (2014)
Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. STM (2014)
Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine A. Meadows, José Meseguer
Analysis of the IBM CCA Security API Protocols in Maude-NPA. SSR (2014)
María Alpuente, Santiago Escobar, Javier Espert, José Meseguer
A modular order-sorted equational generalization algorithm. Inf. Comput. 235 (2014)
Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
A rewriting-based forwards semantics for Maude-NPA. HotSoS (2014)
Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Paliath Narendran
Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. PPDP (2014)
Santiago Escobar
Functional Logic Programming in Maude. Specification, Algebra, and Software (2014)
Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
State space reduction in the Maude-NRL Protocol Analyzer. Inf. Comput. 238 (2014)
Elena Lloret, Santiago Escobar, Manuel Palomar, Isidro Ramos
Incremental and Adaptive Software Systems Development of Natural Language Applications. ISD (2013)
Santiago Escobar
Unification and Anti-unification modulo Equational Theories. UNIF@RTA/TLCA (2013)
Kyungmin Bae, Santiago Escobar, José Meseguer
Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. RTA (2013)
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. CADE (2013)
María Alpuente, Santiago Escobar, Javier Espert
Detecting Modular ACU Structural Symmetries. UNIF@RTA/TLCA (2013)
Santiago Escobar, Ralf Sasse, José Meseguer
Folding variant narrowing and optimal variant termination. J. Log. Algebraic Methods Program. 81 (7-8) (2012)
Serdar Erbatur, Santiago Escobar, Paliath Narendran
The use of types in designing unification algorithms: two case studies. UNIF (2012)
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS (2012)
Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine A. Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. PPDP (2011)
Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA (2011)
María Alpuente, Santiago Escobar, José Iborra
Modular termination of basic narrowing and equational unification. Log. J. IGPL 19 (6) (2011)
Santiago Escobar, Catherine A. Meadows, José Meseguer
State Space Reduction in the Maude-NRL Protocol Analyzer CoRR (2011)
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. UNIF (2011)
Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
Sequential Protocol Composition in Maude-NPA. ESORICS (2010)
Ralf Sasse, Santiago Escobar, Catherine A. Meadows, José Meseguer
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM (2010)
María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra
A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. 411 (37) (2010)
María Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas
On-demand strategy annotations revisited: An improved on-demand evaluation strategy. Theor. Comput. Sci. 411 (2) (2010)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar
Abstract Certification of Global Non-Interference in Rewriting Logic CoRR (2010)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar
Approximating Non-interference and Erasure in Rewriting Logic. SYNASC (2010)
Santiago Escobar, Ralf Sasse, José Meseguer
Folding Variant Narrowing and Optimal Variant Termination. WRLA (2010)
María Alpuente, Santiago Escobar, José Iborra
Termination of narrowing revisited. Theor. Comput. Sci. 410 (46) (2009)
María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda
Order-Sorted Generalization. Electron. Notes Theor. Comput. Sci. 246 (2009)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero
A Tool for Automated Certification of Java Source Code in Maude. Electron. Notes Theor. Comput. Sci. 248 (2009)
Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine A. Meadows, José Meseguer
A Graphical User Interface for Maude-NPA. Electron. Notes Theor. Comput. Sci. 258 (1) (2009)
Daniel J. Dougherty, Santiago Escobar
Preface. Electron. Notes Theor. Comput. Sci. 234 (2009)
Demis Ballis, Santiago Escobar
Preface. Electron. Notes Theor. Comput. Sci. 235 (2009)
Manuel 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)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar
Abstract Certification of Global Non-interference in Rewriting Logic. FMCO (2009)
Demis Ballis, Santiago Escobar, Massimo Marchiori
Preface. Electron. Notes Theor. Comput. Sci. 200 (3) (2008)
María Alpuente, Santiago Escobar, José Iborra
Termination of Narrowing Using Dependency Pairs. ICLP (2008)
Santiago Escobar, Catherine A. Meadows, José Meseguer
State Space Reduction in the Maude-NRL Protocol Analyzer. ESORICS (2008)

Santiago Escobar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Santiago Escobar