Shamir también contribuyó a las ciencias de la computación en ramas distintas de la criptografía, por ejemplo demostrando la equivalencia de las clases de complejidad PSPACE e IP.