YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM [pdf] #1 Post by selamis » Fri, Aug 14, 2015, 10:30 PM UTC YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM [pdf]lsv.ens-cachan.fr