Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA | Publicación