Proof checking the RSA public key encryption algorithm (1984)

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

Documents Related by Co-Citation

536 A Computational Logic – Robert S Boyer, J Strother Moore - 1979
102 Metafunctions: proving them correct and using them efficiently as new proof procedures – R Boyer, J Moore - 1981
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
583 A Fast String Searching Algorithm – Robert S Boyer, J Strother Moore - 1977
576 Assigning meanings to programs – R W Floyd
397 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
2980 A Method for Obtaining Digital Signatures and Public-Key Cryptosystems – R.L. Rivest, A. Shamir, L. Adleman - 1978
1318 Monads for functional programming – Philip Wadler - 1995
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969