Toshiya Itoh, Masafumi Hoshi, Shigeo Tsujii. A Low Communication Competitive Interactive Proof System for Promised Quadratic Residuosity. In Douglas R. Stinson, editor, Advances in Cryptology - CRYPTO 93, 13th Annual International Cryptology Conference, Santa Barbara, California, USA, August 22-26, 1993, Proceedings. Volume 773 of Lecture Notes in Computer Science, pages 61-72, Springer, 1993. [doi]