Proof checking the RSA public key encryption algorithm (1984)

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