2 citations · 2 across the 2 of their papers we have counts for
5 papers
Protocol Analysis with Time
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows +2
We present a framework suited to the analysis of cryptographic protocols that make use of time in their execution. We provide a process algebra syntax that makes time information a…
Variant-based Equational Unification under Constructor Symbols
Damián Aparicio-Sánchez, Santiago Escobar, Julia Sapiña
Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties. A narrowing-based equat…
Most General Variant Unifiers
Santiago Escobar, Julia Sapiña
Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties. Equational unification…
Symbolic Analysis of Maude Theories with Narval
María Alpuente, Demis Ballis, Santiago Escobar +1
Concurrent functional languages that are endowed with symbolic reasoning capabilities such as Maude offer a high-level, elegant, and efficient approach to programming and analyzing…
Inspecting Maude Variants with GLINTS
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar +1
This paper introduces GLINTS, a graphical tool for exploring variant narrowing computations in Maude. The most recent version of Maude, version 2.7.1, provides quite sophisticated…