1 - Rappel du (petit) théorème de Fermat
2 - Preuve de validité de RSA et du cryptosystème de Paillier
3 - Exemple de réduction algorithmique prouvant que retrouver la clé secrète de RSA est aussi difficile que de factoriser des grands nombres
4 - Comment utiliser RSA pour signer numériquement
5 - Démontrer (+ illustrer) la propriété d'homomorphie additive de Paillier
6 - Introduction au calcul multiparties avec Paillier (nombreuses applications présentées)
7 - Presentation des cryptosystèmes post-quantiques