This course space end date is set to 08.04.2024 Search Courses: MS-E1687
This lecture introduces hybrid proofs on the example of PRG length-extension. Below are the lecture notes and lecture scribbles. Here are the links to the lecture videos:
Part 1, Part 2 and Part 3.