Advanced Topics in Cryptography

Lecture 5: The Kilian-Micali Protocol

Topics

• Cryptographic building block: collision-resistant hash (CRH) functions with local opening: definition and construction.
• The Kilian-Micali protocol, given a CRH and PCP.
• Analysis

Readings

S. Micali, “Computationally Sound Proofs (PDF).” SIAM J. COMPUT. Vol. 30, No. 4, pp. 1253–1298.

Lecture Videos

Part 1

Part 2