Mihir Bellare, Juan A. Garay, Tal Rabin. Batch Verification with Applications to Cryptography and Checking. In Claudio L. Lucchesi, Arnaldo V. Moura, editors, LATIN 98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings. Volume 1380 of Lecture Notes in Computer Science, pages 170-191, Springer, 1998. [doi]
Abstract is missing.