Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA.

Antonio Gonzlez-Burgueo, Damin Aparicio-Snchez, Santiago Escobar, Catherine Meadows, Jos Meseguer

Browse the full LPAR paper archive.