research
∙
10/26/2020
Protocol Analysis with Time
We present a framework suited to the analysis of cryptographic protocols...
share
research
∙
05/25/2020
Verification of the IBOS Browser Security Properties in Reachability Logic
This paper presents a rewriting logic specification of the Illinois Brow...
research
∙
10/18/2019
Programming and Symbolic Computation in Maude
Rewriting logic is both a flexible semantic framework within which widel...
research
∙
04/22/2019
Strand Spaces with Choice via a Process Algebra Semantics
Roles in cryptographic protocols do not always have a linear execution, ...
research
∙
08/15/2018
Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms
The Homeomorphic Embedding relation has been amply used for defining ter...
research
∙
06/19/2018
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA
In this paper, we perform an automated analysis of two devices developed...
research
∙
09/15/2017
Variant-Based Decidable Satisfiability in Initial Algebras with Predicates
Decision procedures can be either theory-specific, e.g., Presburger arit...
research
∙
09/15/2017