G.: YubiSecure? Formal security analysis results for the YubiKey and YubiHSM (0)

by R Künnemann, Steel
Venue:In: Preliminary Proc. STM’12 (2012