Send email
Copy Email Address
⬤
EN
(current)
DE
Back to previous menu level
Menu
Home
Research
Overview
Trustworthy Information Processing
Reliable Security Guarantees
Threat Detection and Defenses
Secure Mobile and Autonomous Systems
Empirical and Behavioral Security
Publications
Funded Projects & Collaborations
Awards
About CISPA
Overview
Organization
Director Page
Procurement
Ombuds Office
People
Career
Overview
FAQ
Job Openings
News & Events
Overview
communication
Transfer & Outreach
Overview
Ventures
strategic cooperations
TALENTS, SPECIALISTS & PUBLIC
Contact
Home
Research
Publications
YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM
2012-01-01
YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM
Tags
Workshop
Workshop on Security and Trust Management
Date published
2012-01-01
Date last modified
2017-07-27 07:07:15
Authors
Robert Künnemann
Graham Steel
Download