20 citations · 75 across the 15 of their papers we have counts for
5 papers · 1 filter
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…
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…
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA
Antonio González-Burgueño, Damián Aparicio, Santiago Escobar +2
In this paper, we perform an automated analysis of two devices developed by Yubico: YubiKey, designed to authenticate a user to network-based services, and YubiHSM, Yubicos hardwar…
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…