Protocols that remain zero-knowledge when many instances are executed concurrently are called concurrent zero-knowledge, and this book is devoted to their study

Various types of probabilistic proof systems have played a central role in the development of computer science in the last couple of decades. These proof system

Zero-knowledge interactive proofsystems are a new technique which can be used as a cryptographic tool for designing provably secure protocols. Goldwasser, Mical

Crypto 2001, the 21st Annual Crypto conference, was sponsored by the Int- national Association for Cryptologic Research (IACR) in cooperation with the IEEE Comp

Quantum Proofs provides an overview of many of the known results concerning quantum proofs, computational models based on this concept, and properties of the co