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:15]
baelde [Objectifs / Goals of the course]
cours:c-2-30 [2019/09/11 15:16] (current)
baelde [Programme du cours / Course program]
Line 42: Line 42:
 ===1. Symbolic verification (D. Baelde)=== ===1. Symbolic verification (D. Baelde)===
  
-This part is based on the above-mentionned [[http://www.lsv.ens-cachan.fr/~delaune/MPRI14-15/poly.pdf|lecture notes]], with variations. The [[http://www.lsv.fr/~baelde|slides]] of the lectures are available for reference.+See [[http://www.lsv.fr/~baelde/secu|the teacher's page]] for slides and lecture notes.
  
   * Introduction to protocols, security properties, and attacks.   * Introduction to protocols, security properties, and attacks.
 
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