Changes between Version 15 and Version 16 of SchoolParis14


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

Slides + exercices

Legend:

Unmodified
Added
Removed
Modified
  • SchoolParis14

    v15 v16  
    1 === !EasyCrypt Installation Instructions (!EasyCrypt-F*-!CryptoVerif School 2014) ===
     1[[PageOutline]]
     2
     3== !EasyCrypt-F*-!CryptoVerif School 2014 ==
     4
     5=== !EasyCrypt Materials ===
     6
     7* Lecture 1 -- [[raw-attachment:lecture1.pdf|Introduction and Game-Based Proofs]]
     8* Lecture 2 -- [[raw-attachment:lecture2.pdf|Types, Operators, Modules]]
     9* Lecture 3 -- [[raw-attachment:lecture3.pdf|Ambient Logic and pRHL]]
     10* Lecture 4 -- [[raw-attachment:lecture4.pdf|Theories, Cloning and Sections]]
     11* Lecture 5 -- [[raw-attachment:lecture5.pdf|High-level Proof Principles]]
     12* Lecture 6 -- [[raw-attachment:lecture6.pdf|Overview and perspectives]]
     13
     14* [[raw-attachment:day1.tgz|Day 1 exercices]]
     15* [[raw-attachment:day2.tgz|Day 2 exercices]]
     16
     17=== !EasyCrypt Installation Instructions  ===
    218
    319We provide binary packages for !EasyCrypt. You can download them