Changes between Version 74 and Version 75 of WikiStart


Ignore:
Timestamp:
1 Mar 2017, 11:08:12 (3 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v74 v75  
    5757== Downloads ==
    5858
     59[[Image(https://travis-ci.org/EasyCrypt/easycrypt.svg?branch=1.0)]]
     60
    5961The current release of !EasyCrypt (version [[milestone:1.0]]) is still
    6062under development. Please join the
     
    7274
    7375=== !EasyCrypt 0.2 ===
     76
    7477You can also download
    7578[[http://old.easycrypt.info/easycrypt-0.2.tgz|EasyCrypt version 0.2]]
     
    8083
    8184== Past Events ==
     85
    8286- The [wiki:SchoolUMD2015 IACR School on Computer-aided Cryptography] took place at University of Maryland, College Park, USA on June 1- 4 2015 and provide an hands-on introduction to !EasyCrypt.
    8387- The Joint !EasyCrypt/F*/!CryptoVerif School, 24-28 November 2014 in Paris. (You can [[SchoolParis14|download]] the !EasyCrypt material)