Changes between Version 2 and Version 3 of Tutorial


Ignore:
Timestamp:
31 Jul 2014, 12:17:54 (5 years ago)
Author:
François Dupressoir
Comment:

Adding some comments.

Legend:

Unmodified
Added
Removed
Modified
  • Tutorial

    v2 v3  
    33This page links to tutorial material for !EasyCrypt.
    44
    5 * [https://www.easycrypt.info/downloads/tutorial/tutorial-prg.pdf The EasyCrypt Tool: A Tutorial]
     5* [https://www.easycrypt.info/downloads/tutorial/tutorial-prg.pdf EasyCrypt: A Tutorial]
    66  is the online version of our FOSAD VII chapter. Our goal in
    77  this document is to invite cryptographers to consider the
     
    1515  script (to come) gives an idea of the amount of effort needed
    1616  to formally fill the sketch into a simple – but fully formal –
    17   proof.
     17  proof. The example is chosen to be simple, yet exercise
     18  interesting aspects of the tool, not for cryptographic realism.