@InProceedings{l98-p170-191,
  AUTHOR    = {Mihir Bellare and Juan~A. Garay and Tal Rabin},
  TITLE     = {Batch Verification with Applications to Cryptography and Checking},
  YEAR      = 1998,
  BOOKTITLE = {Proc.~of the 3rd Latin American Symposium on Theoretical Informatics (LATIN'98)},
  ADDRESS   = {Campinas, Brazil},
  PAGES     = {170--191},
  KEYWORDS  = {}}