In advance of lecture (Thursday 4/12), in which we will introduce the idea of a key-encapsulation mechanism (KEM), I’ve prepared a video that shows how to build a KEM from RSA, and gives a proof that it is a secure KEM in the ROM. We’ll see in lecture how to build an efficient PKE scheme from a KEM and a symmetric encryption scheme. Thus, you’ll see how to build a provably secure PKE scheme from RSA, via this design paradigm and the results of this video.

I’m posting the video now also because it is a second example of doing proofs in the ROM, and will be useful for a problem on HW5.

Advertisements

Video not found.

It’s on the course content page, where the rest of them are.