20 citations · 75 across the 15 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 1 cited
Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar +1
The Homeomorphic Embedding relation has been amply used for defining termination criteria of symbolic methods for program analysis, transformation, and verification. However, homeo…
cs.CR2018★ 6 cited
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…