7 citations · 9 across the 3 of their papers we have counts for
3 papers
Strand Spaces with Choice via a Process Algebra Semantics
Fan Yang, Santiago Escobar, Catherine Meadows +1
Roles in cryptographic protocols do not always have a linear execution, but may include choice points causing the protocol to continue along different paths. In this paper we addre…
Effective Sequential Protocol Composition in Maude-NPA
Sonia Santiago, Santiago Escobar, Catherine Meadows +1
Protocols do not work alone, but together, one protocol relying on another to provide needed services. Many of the problems in cryptographic protocols arise when such composition i…
State Space Reduction in the Maude-NRL Protocol Analyzer
Santiago Escobar, Catherine Meadows, Jose Meseguer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different…