@misc{indiciae60ea578b89a1,
  title = {Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA},
  author = {Antonio González-Burgueño and Damián Aparicio and Santiago Escobar and Catherine Meadows and José Meseguer},
  year = {2018},
  url = {https://arxiv.org/abs/1806.07209},
  note = {Source identifier: 1806.07209}
}