A RFC-compliant HOTP and TOTP implementation