YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM

Robert Künnemann, Graham Steel. YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM. In Audun Jøsang, Pierangela Samarati, Marinella Petrocchi, editors, Security and Trust Management - 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers. Volume 7783 of Lecture Notes in Computer Science, pages 257-272, Springer, 2012. [doi]

Authors

Robert Künnemann

This author has not been identified. Look up 'Robert Künnemann' in Google

Graham Steel

This author has not been identified. Look up 'Graham Steel' in Google