research
∙
07/12/2023
An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis
Narrowing and unification are very useful tools for symbolic analysis of...
share
research
∙
12/19/2021
Symbolic Specialization of Rewriting Logic Theories with Presto
This paper introduces Presto, a symbolic partial evaluator for Maude's r...
research
∙
10/26/2020
Protocol Analysis with Time
We present a framework suited to the analysis of cryptographic protocols...
research
∙
09/22/2020
Variant-based Equational Unification under Constructor Symbols
Equational unification of two terms consists of finding a substitution t...
research
∙
09/18/2019
Most General Variant Unifiers
Equational unification of two terms consists of finding a substitution t...
research
∙
07/25/2019
Symbolic Analysis of Maude Theories with Narval
Concurrent functional languages that are endowed with symbolic reasoning...
research
∙
07/18/2017