Exercises
Any extra information related to the exercises will appear here.
- The second session on September 24th is an exercise session. The task is described in this file. We started from a simple key exchange protocol from the previous lectures, given in spi-calculus. We finished with this model. The exercise session is followed by a homework that can be found in this file.
- Both sessions on October 22th are exercise sessions. The sessions are mostly interactive. The first session has not been recorded due to BBB issues, but the second one is there (in the "alternatve room"), and the sound is missing only for the first part (Shamir sharing).
- Secure Multi-Party Computation (MPC) session: the task is described in this file. We use computational help from computers. The code used in the practice session (probably with different numbers) can be found in this python script.
- Garbled Circuit (GC) session: the garbled circuits discussed in this session are given in this file.
The exercise session is followed by a homework that can be found in this file.