Kurssiasetusten perusteella kurssi on päättynyt 08.04.2024 Etsi kursseja: 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.