Changes between Version 4 and Version 5 of Tutorial


Ignore:
Timestamp:
12 Apr 2016, 15:01:12 (3 years ago)
Author:
François Dupressoir
Comment:

Updating FOSAD tutorial

Legend:

Unmodified
Added
Removed
Modified
  • Tutorial

    v4 v5  
    1414  presenting a simple stateful random generator constructed from
    1515  a pseudo-random function and sketching a proof of its security
    16   as a pseudo-random generator. The associated !EasyCrypt proof
    17   script (to come) gives an idea of the amount of effort needed
     16  as a pseudo-random generator. The associated !EasyCrypt
     17  [https://www.easycrypt.info/downloads/tutorial/tutorial-prg-proof.tgz proof script]
     18  gives an idea of the amount of effort needed
    1819  to formally fill the sketch into a simple – but fully formal –
    1920  proof. The example is chosen to be simple, yet exercise