Changes between Version 4 and Version 5 of Tutorial
 Timestamp:
 12 Apr 2016, 15:01:12 (4 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

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