Cool keys: Exploring the security model for bitcoin and YubiKeys by John Tinkelenberg a year ago yubikey