SIAM J. Comput. Everything Provable is Provable in Zero-Knowledge. A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks. SIAM J. Comput. On the Power of Interaction.
Primes Can Be Quickly Certified.
On the Cryptographic Applications of Random Functions. Which Hides All Partial Information. Strong Signature Schemes. On Signatures and Authentication. Keeping Secret All Partial Information.