Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cours:c-2-30 [2019/10/16 15:08]
baelde [Planning provisoire / Preliminary schedule]
cours:c-2-30 [2020/02/12 20:45] (current)
blanchet [Planning provisoire / Preliminary schedule]
Line 83: Line 83:
 |Nov.  27| D. Baelde|Exam| |Nov.  27| D. Baelde|Exam|
  
-|Dec.   4| B. Blanchet| | +|Dec.   4| B. Blanchet| [[https://prosecco.gforge.inria.fr/personal/bblanche/MPRI/2019-20/1-computational.pdf|A bit of computational crypto]] [[https://prosecco.gforge.inria.fr/personal/bblanche/MPRI/2019-20/cryptoverif.pdf|CryptoVerif]] [[https://prosecco.gforge.inria.fr/personal/bblanche/MPRI/2019-20/enc-then-MAC.cv|enc-then-MAC.cv]] 
-|Dec.  11| B. Blanchet| | +|Dec.  11| B. Blanchet| [[https://prosecco.gforge.inria.fr/personal/bblanche/MPRI/2019-20/cryptoverif.pdf|CryptoVerif]]  (continued), [[https://prosecco.gforge.inria.fr/personal/bblanche/MPRI/2019-20/tutorial.pdf|some exercises]] [[https://prosecco.gforge.inria.fr/personal/bblanche/MPRI/2019-20/index.html|solutions]] 
-|Dec.  18| B. Blanchet| | +|Dec.  18| B. Blanchet| [[https://prosecco.gforge.inria.fr/personal/bblanche/MPRI/2019-20/correspondences.pdf|Correspondences]] [[https://prosecco.gforge.inria.fr/personal/bblanche/MPRI/2019-20/cv2ml.pdf|CV to ML]] Exercises continued [[https://prosecco.gforge.inria.fr/personal/bblanche/MPRI/2019-20/index.html|solutions]]
-|Jan.   8| B. Blanchet| | +|Jan.   8| B. Blanchet| [[https://prosecco.gforge.inria.fr/personal/bblanche/MPRI/2019-20/composition.pdf|Composition and TLS 1.3]] Exercises continued [[https://prosecco.gforge.inria.fr/personal/bblanche/MPRI/2019-20/index.html|solutions]]
-|Jan.  15| K. Bhargavan| | +|Jan.  15| K. Bhargavan| [[https://prosecco.gforge.inria.fr/personal/karthik/teaching/Lecture1-TLS-Attacks.pdf|Real World Attacks on TLS]]  
-|Jan.  22| K. Bhargavan| | +|Jan.  22| K. Bhargavan| [[https://prosecco.gforge.inria.fr/personal/karthik/teaching/Lecture-2-Messaging-Analysis.pdf|Secure Messaging Protocols]]  
-|Jan.  29| K. Bhargavan| | +|Jan.  29| K. Bhargavan| [[https://prosecco.gforge.inria.fr/personal/karthik/teaching/Lecture3-FStar-Verification.pdf|Towards High-Assurance Cryptographic Software]] 
-|Feb.   5| K. Bhargavan| | +|Feb.   5| K. Bhargavan| [[https://prosecco.gforge.inria.fr/personal/karthik/teaching/Lecture4-FStar-Verification.pdf|Verifying Cryptographic Libraries and Protocols with F*]], [[https://prosecco.gforge.inria.fr/personal/karthik/teaching/Lecture4-demo.zip|F* Files from Demo]]
-|Feb.  12| B. Blanchet|Revisions| +|Feb.  12| B. Blanchet|Revisions [[https://prosecco.gforge.inria.fr/personal/bblanche/MPRI/2019-20/revisions.pdf|Exam of last year]] [[https://prosecco.gforge.inria.fr/personal/bblanche/MPRI/2019-20/revisions-sol.pdf|A solution]] [[https://prosecco.gforge.inria.fr/personal/bblanche/MPRI/2019-20/revisions-sol1.4.cv|Code for exercise 1]] [[https://prosecco.gforge.inria.fr/personal/bblanche/MPRI/2019-20/revisions-sol2.cv|Code for exercise 2]], [[https://prosecco.gforge.inria.fr/personal/karthik/teaching/exercises-exam-2020.pdf|Exercises for F* part]]
-|Feb 19KBhargavan|Revisions+|Feb.  26|B. Blanchet/K. Bhargavan|Exam| 
-|Feb.  26 or Mar. 4|B. Blanchet/K. Bhargavan|Exam| +
  
  
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA