OT: Implementing RSA's SecurID