7 citations · 21 across the 8 of their papers we have counts for
9 papers
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms
Dalton Chichester, Wei Du, Raymond Kauffman +8
Recently, interest has been emerging in the application of symbolic techniques to the specification and analysis of cryptosystems. These techniques, when accompanied by suitable pr…
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…
On Asymmetric Unification for the Theory of XOR with a Homomorphism
Christopher Lynch, Andrew M. Marshall, Catherine Meadows +2
Asymmetric unification, or unification with irreducibility constraints, is a newly developed paradigm that arose out of the automated analysis of cryptographic protocols. However,…
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…