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

548 A Computational Logic – R S Boyer, J S Moore - 1979
103 Metafunctions: proving them correct and using them efficiently as new proof procedures – R S Boyer, J Strother Moore - 1981
977 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
612 J.S.(1977):A fast string searching algorithm – R S Boyer, Moore
610 Assigning meaning to programs – R Floyd - 1967
409 A Computational Logic Handbook – R S Boyer, J S Moore
1353 Monads for functional programming – Philip Wadler - 1995
1484 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
1124 A computing procedure for quantification theory – M Davis, H Putnam - 1960