// COMPLETE THREAD

Re: RSA has been proved correct

1 expanded post ยท every known parent and child

NODE 8ae159d9Re: RSA has been proved correct danisch@ira.uka.de (Hadmut Danisch)Fri, 4 Aug 95 07:20:07 PDT 
Mmmh,

correctness does not mean "it's a nice thing". It just
means that something fulfills the specs.

Do you know which specs were fed into the prover?

The specs could be as weak as

  -  RSA must terminate if fed with the number 42

  -  x ^ (e * d) = x  mod n   for all x from 0..(n-1)


Hadmut