Lecture

Proving Security: Random Oracle Model