Changes between Version 83 and Version 84 of WikiStart


Ignore:
Timestamp:
2 Sep 2021, 14:51:58 (2 weeks ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v83 v84  
    7373developed. We do not guarantee backwards compatibility.
    7474
    75 == Events ==
     75== Past Events ==
    7676
    7777- [https://gdr-school.sciencesconf.org/ Cyber in Saclay -- Winter School in Cybersecurity], 8-12 Feb 2021. You can [[SchoolScalay21|download]] the !EasyCrypt material.
    78 
    79 == Past Events ==
    80 
    81 - 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.
     78- [https://indocrypt2020.iiitb.ac.in/vericrypt/ VeriCrypt: An Introduction to Tools for Verified Cryptography], 10-11 December, 2020. You can [[VeriCrypt20|download]] the !EasyCrypt material.
     79- 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.
    8280- The Joint !EasyCrypt/F*/!CryptoVerif School, 24-28 November 2014 in Paris. (You can [[SchoolParis14|download]] the !EasyCrypt material)
    8381- [wiki:SchoolUPen2013 First EasyCrypt summer school and workshop]: July 2013, UPenn.