Advertisement

Efficient checking of computations in number theory

  • Leonard M. Adleman
  • Ming-Deh Huang
  • Kireeti Kompella
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 877)

Abstract

We present efficient program checkers for two important number theory problems, integer GCD and modular exponentiation. The notion of program checkers was introduced by Manuel Blum as a new approach to the problem of program correctness. Our result regarding checking integer GCD answers an open problem posed by Blum; further-more, the checker we give is a constant query checker. The other result paves the way for more robust cryptographic programs, as modular exponentiation is the basis for several cryptosystems, and introduces a new technique for writing checkers, the tester-checker. Taken together, these results lay the foundation for more reliable number-theoretic programs. Further details can found in [AHK].

References

  1. [AHK]
    Adleman, L., Huang, M.-D., and Kompella, K., Efficient Checkers for Number-Theoretic Computations, to appear in Information and Computation.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Leonard M. Adleman
    • 1
  • Ming-Deh Huang
    • 1
  • Kireeti Kompella
    • 1
  1. 1.Department of Computer ScienceUniversity of Southern CaliforniaLos Angeles

Personalised recommendations