Santiago Escobar
Orcid: 0000-0002-3550-4781Affiliations:
- Polytechnic University of Valencia, Spain
According to our database1,
Santiago Escobar
authored at least 124 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on dsic.upv.es
On csauthors.net:
Bibliography
2024
IEEE Access, 2024
Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024
2023
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis.
J. Log. Algebraic Methods Program., October, 2023
J. Log. Algebraic Methods Program., April, 2023
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version.
PeerJ Comput. Sci., 2023
PeerJ Comput. Sci., 2023
Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude.
IET Inf. Secur., 2023
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints.
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023
Proceedings of the Computer Security - ESORICS 2023, 2023
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023
2022
Theory Pract. Log. Program., 2022
J. Log. Algebraic Methods Program., 2022
Ann. Math. Artif. Intell., 2022
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method.
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022
Proceedings of the Logic-Based Program Synthesis and Transformation, 2022
Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis.
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022), 2022
Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude.
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022), 2022
Proceedings of the Formal Methods and Software Engineering, 2022
Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude.
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022), 2022
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description).
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
2021
Proceedings of the Protocols, Strands, and Logic, 2021
2020
J. Log. Algebraic Methods Program., 2020
J. Log. Algebraic Methods Program., 2020
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms.
Fundam. Informaticae, 2020
Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020
Proceedings of the Progress in Cryptology - INDOCRYPT 2020, 2020
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA.
Proceedings of the Computer Security - ESORICS 2020, 2020
2019
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019
ACUOS<sup>2</sup>: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method.
Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019
2018
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018
Proceedings of the Security and Trust Management - 14th International Workshop, 2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2018
2017
2016
J. Log. Algebraic Methods Program., 2016
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
2015
Sci. Comput. Program., 2015
Proceedings of the Security Standardisation Research - Second International Conference, 2015
Proceedings of the Programming Languages with Applications to Biology and Security, 2015
2014
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA.
Proceedings of the Security and Trust Management - 10th International Workshop, 2014
Proceedings of the Security Standardisation Research - First International Conference, 2014
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014
Proceedings of the Specification, Algebra, and Software, 2014
2013
Proceedings of the 27th International Workshop on Unification, 2013
Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013
Proceedings of the 27th International Workshop on Unification, 2013
Incremental and Adaptive Software Systems Development of Natural Language Applications.
Proceedings of the Information System Development, 2013
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
Proceedings of the Automated Deduction - CADE-24, 2013
2012
J. Log. Algebraic Methods Program., 2012
Proceedings of the Computer Security - ESORICS 2012, 2012
Proceedings of the UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, 2012
2011
Log. J. IGPL, 2011
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis.
Proceedings of the 25th International Workshop on Unification, 2011
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011
2010
Theor. Comput. Sci., 2010
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010
Proceedings of the Security and Trust Management - 6th International Workshop, 2010
Proceedings of the Computer Security, 2010
2009
Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009
Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
2008
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008
Proceedings of the Third International Workshop on Security and Rewriting Techniques, 2008
Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008
Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008
Proceedings of the 22nd International Workshop on Unification, 2008
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008
Proceedings of the Logic-Based Program Synthesis and Transformation, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
Proceedings of the Computer Security, 2008
2007
Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007
Proceedings of the Foundations of Security Analysis and Design V, 2007
Proceedings of the Formal Methods for Industrial Critical Systems, 2007
2006
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties.
Theor. Comput. Sci., 2006
Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006
Proceedings of the First International Workshop on Security and Rewriting Techniques, 2006
2005
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005
A rewriting-based inference system for the NRL protocol analyzer: grammar generation.
Proceedings of the 2005 ACM workshop on Formal methods in security engineering, 2005
2004
Proceedings of the 5th International Workshop on Rule-Based Programming, 2004
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004
AI Commun., 2004
Proceedings of the Logic Based Program Synthesis and Transformation, 2004
Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004
2003
Proceedings of the 4th International Workshop on Rule-Based Programming, 2003
Proceedings of the 4th International Workshop on Rule-Based Programming, 2003
Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003
Abstract Correction of OBJ-like Programs.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002
Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002
Proceedings of the Logic for Programming, 2002
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2000
Redundancy Analyses in Term Rewriting.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000
1999
Proceedings of the SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27, 1999
An Incremental Needed Narrowing Calculus for Curry.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999