Caroline Kudla Kenneth G. Paterson Non-interactive Designated Verifier Proofs and Undeniable Signatures. 136-154 2005 conf/ima/2005 IMA Int. Conf. http://dx.doi.org/10.1007/11586821_10 db/conf/ima/ima2005.html#KudlaP05