Proof checking the RSA public key encryption algorithm (1984)

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

Active Bibliography

14 Synthesis and Verification – M Boyer, M Sighireanu - 2003
24 A Theorem Prover for a Computational Logic – Robert S. Boyer, J Strother Moore - 1990
30 The Boyer-Moore Theorem Prover and Its Interactive Enhancement – Robert S. Boyer, Matt Kaufmann, J Strother Moore - 1995
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
590 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
568 Term Rewriting Systems – J. W. Klop - 1992
708 Factoring polynomials with rational coefficients – A. K. Lenstra, H. W. Lenstra - 1982
731 Differential Power Analysis – Paul Kocher, Joshua Jaffe, Benjamin Jun - 1999
770 SPINS: Security Protocols for Sensor Networks – Adrian Perrig, Robert Szewczyk, Victor Wen, David Culler, J. D. Tygar - 2001