M1 MoSIG, INFO and AM, U. Grenoble Alpes

Lecturers: Pierre Karpman and Bruno Grenet

*The documents for the first part of the cours are available on Pierre Karpman’s webpage.*

- CM4 : Key exchange protocols
- CM5 : Public-key encryption
- CM6 : Digital signatures
- CM7 : RSA encryption scheme and signatures
- CM8 : TLS protocol

- TD4 : Key exchange protocols
- TD5 : Public-key encryption
- TD6 : Digital signatures
- TD7 : The RSA ecosystem

- Probability Theory 101: If you’re unfamiliar with (discrete) probability theory, it may be worth it to have a look at these (you can focus on part 1 and 2). Try to do some exercises!

(other documents may appear later)

- J. Katz, Y. Lindell. Introduction to modern cryptography, 3rd. ed., CRC Press, 2021.

*Very good textbook, unfortunately quite expensive.*

- D. Boneh et V. Shoup. A Graduate Course in Applied Cryptography, version 0.6, Jan. 2023.

*A slightly more difficult resource, but available for free and legally online.*

- B. Barak. An intensive Introduction to Cryptography, course notes.

*More theoretical presentation, for complexity theory lovers!*

- M. Rosulek. The Joy of Cryptography, course notes, 2021.

*From the webpage: “The Joy of Cryptography is a free undergraduate-level textbook that introduces students to the fundamentals of provable security.”*

- Introduction
- Block ciphers
- Symmetric encryption
- Hash functions
- Message authentication codes & Authenticated encryption
- Key exchange
- Public-key encryption
- Digital signatures
- RSA public-key encryption and signatures
- Transport Layer Security (TLS)

- TD 1: Introduction
- TD 2: Block ciphers
- TD 3: Symmetric encryption
- TD 4: Hash functions
- TD 5: Message authentication codes & authenticated encryption
- TD 6: Key exchange
- TD 7: Public-key encryption
- TD 8: Digital signatures
- TD 9: The RSA ecosystem

- Probability Theory 101: If you’re unfamiliar with (discrete) probability theory, it may be worth it to have a look at these (you can focus on part 1 and 2). Try to do some exercises!
- One-time pad proof: a (correct!) proof of perfect secrecy for the one-time pad.
- AES animation from this website
- Birthday bounds: fully-written formal proofs

Last modification : April 17., 2024