13th Estonian Winter School in Computer Science (EWSCS)
XIII Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 2-7, 2008

Giuseppe Persiano

Dipartimento di Informatica e Applicazioni
Università di Salerno

Zero Knowledge and the Construction of Secure Encryption Schemes


In this series of lectures we will introduce the concept of Zero Knowledge. A zero-knowledge proof system is a proof system by which a prover can convince a verifier of the veridicity of statement without revealing any additional knowledge.

We will then turn our attention to the Common Reference String model in which prover and verifier have access to the same randomly chosen string. Using this very minimal infrastructure, it is possible to give Non-Interactive Zero Knowledge proofs for all NP languages.

Finally, we will show how NIZK can be used to construct encryption schemes secure against very strong attacks (adaptive chosen ciphertext attacks).

Course materials

Valid CSS! Valid XHTML 1.0 Strict Last changed March 12, 2008 23:55 EET by local organizers, ewscs08(at)cs.ioc.ee
EWSCS'08 page: http://cs.ioc.ee/ewscs/2008/