Key: A personal single sign-on device