Lecture notes covering the following topics: Example: Casting Zero-Knowledge within the Basic Definitional Framework. The Blum Protocol for Graph Hamiltonicity. Composability of Zero-Knowledge, and The Universally Composable (UC) Security Framework: Motivation and the Basic Definition (based on [C01]).