Proof checking the RSA public key encryption algorithm (1984)

by Robert S. Boyer , J Strother Moore
Venue:American Mathematical Monthly
Citations:22 - 9 self