Security proofs of quantum key distribution Lecture notes: PDF 2022 November: Focus Semester on Quantum Information 2021 March: ML4Q Intensive weeks