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/09/11 15:16]
baelde [Programme du cours / Course program]
cours:c-2-30 [2019/12/04 22:13] (current)
blanchet [Planning provisoire / Preliminary schedule]
Line 70: Line 70:
 ==== Planning provisoire / Preliminary schedule ==== ==== Planning provisoire / Preliminary schedule ====
  
-|Sept. 11| D. Baelde| | +|Sept. 11| D. Baelde| Intro 
-|Sept. 18| D. Baelde| | +|Sept. 18| D. Baelde| Formal semantics 1 
-|Sept. 25| D. Baelde| | +|Sept. 25| D. Baelde| Formal semantics 2 + Proverif intro 
-|Oct.   2| D. Baelde| | +|Oct.   2| D. Baelde| Deduction, symbolic semantics 
-|Oct.   9| D. Baelde| | +|Oct.   9| D. Baelde| Deducibility constraints 
-|Oct.  16| D. Baelde| | +|Oct.  16| D. Baelde| Unbounded verification in Proverif 
-|Oct.  23| D. Baelde| |+|Oct.  23| D. Baelde| Equivalences |
 |Oct.  30| No course| | |Oct.  30| No course| |
-|Nov.   6| D. Baelde| | +|Nov.   6| D. Baelde| Computational security 
-|Nov.  13| D. Baelde|Revisions+|Nov.  13| D. Baelde| Bana-Comon logic 
-|Nov.  20 or 27| D. Baelde|Exam|+|Nov.  20| D. Baelde| Revisions | 
 +|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| |
 |Dec.  18| B. Blanchet| | |Dec.  18| B. Blanchet| |
 
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