Cryptographic protocols: formal and computational proofs

This page contains lecture materials for Karthikeyan Bhargavan's lectures for the MPRI course 2.30: Protocoles cryptographiques : preuves formelles et calculatoires / Cryptographic protocols: formal and computational proofs.

The links below will be updated as the course progresses; materials provided for future lectures should only be considered as a rough guide.

Further reading (not required for lectures):