Rosario Gennaro Daniele Micciancio Tal Rabin An Efficient Non-Interactive Statistical Zero-Knowledge Proof System for Quasi-Safe Prime Products. 67-72 1998 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/288090.288108 db/conf/ccs/ccs1998.html#GennaroMR98