Proof Checking the RSA Public Key Encryption Algorithm

DOI10.2307/2322356zbMath0548.68089OpenAlexW4253370846MaRDI QIDQ3340195

J. Strother Moore, Robert S. Boyer

Publication date: 1984

Published in: The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2322356

zbMATH Keywords

pigeon hole principleRSA encryptionFermat's theoreminvertibility of the public key encryption algorithm of Rivest, Shamir and Adleman

Mathematics Subject Classification ID

Cryptography (94A60) Mechanization of proofs and logical operations (03B35)

Related Items

The application of automated reasoning to questions in mathematics and logic, Verification of the Miller-Rabin probabilistic primality test., Fermat, Euler, Wilson -- three case studies in number theory, The problem of induction