Ari Juels, RSA Laboratories