Michael Szydlo, RSA Laboratories