A private interactive test of a boolean predicate a minimum-knowledge public-key cryptosystems | IEEE Conference Publication | IEEE Xplore