Changes between Version 16 and Version 17 of SchoolParis14


Ignore:
Timestamp:
27 Nov 2014, 15:15:31 (5 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SchoolParis14

    v16 v17  
    22
    33== !EasyCrypt-F*-!CryptoVerif School 2014 ==
     4
     5The main school website is located here:
     6
     7  https://wiki.inria.fr/prosecco/The_Joint_EasyCrypt-F*-CryptoVerif_School_2014
     8
     9You will find on this page the materials relative to the !EasyCrypt part.
    410
    511=== !EasyCrypt Materials ===