A Low Communication Competitive Interactive Proof System for Promised Quadratic Residuosity. - Toshiya Itoh; Masafumi Hoshi; Shigeo Tsujii (CRYPTO, 1993)