En 1979, Rabin inventó el criptosistema Rabin, que fue el primer criptosistema asimétrico cuya seguridad se pudo probar equivalente a la factorización de enteros, un problema "intratable" computacionalmente.