Unfortunately, the microphones in the lecture room did not work today, so there's no recording of today's lecture. As a replacement, I've uploaded the same lecture from last year. Except for some of the material on certificate revocation, the 2023 lecture covers more or less the same as today's lecture.