Search filters

List of works by Santiago Escobar

Associative Unification and Symbolic Reasoning Modulo Associativity in Maude

scientific article published in 2018

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7

scientific article published in 2016

Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions

Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)

scientific article published in 2022

Programming Open Distributed Systems in Maude

scientific article published on 04 September 2024

Programming and symbolic computation in Maude

scientific article published in January 2020

Protocol analysis in Maude-NPA using unification modulo homomorphic encryption

Removing Redundant Arguments of Functions*

Two Decades of Maude

scientific article published in 2015

Unification and Narrowing in Maude 2.4

scientific article published in 2009

Paulina is supported by:

About Paulina

Help