Credentials with Practical Revocation on Smart-Cards -- On the Use of Shamir's Secret