Changes between Version 70 and Version 71 of WikiStart


Ignore:
Timestamp:
19 Jan 2017, 10:39:08 (3 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v70 v71  
    8080
    8181== Past Events ==
    82 - The [wiki:SchoolUMD2015 IACR School on Computer-aided Cryptography] will take place at University of Maryland, College Park, USA on June 1- 4 2015 and provide an hands-on introduction to !EasyCrypt.
     82- 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.
    8383- The Joint !EasyCrypt/F*/!CryptoVerif School, 24-28 November 2014 in Paris. (You can [[SchoolParis14|download]] the !EasyCrypt material)
    8484- [wiki:SchoolUPen2013 First EasyCrypt summer school and workshop]: July 2013, UPenn.
     
    101101- [http://fdupress.net François Dupressoir] (University of Surrey)
    102102- [http://www-sop.inria.fr/everest/Benjamin.Gregoire/ Benjamin Grégoire] (Inria Sophia-Antipolis Méditerranée)
    103 - [http://www.beschmi.net Benedikt Schmidt] (IMDEA Software Institute)
    104103- [http://alleystoughton.us/ Alley Stoughton]
    105 - [http://strub.nu/ Pierre-Yves Strub] (Ecole Polytechnique)
     104- [http://strub.nu/ Pierre-Yves Strub] (École Polytechnique)
    106105
    107106=== Students ===
    108107
    109 - Miguel Ambrona
    110 - Giuseppe Guagliardo
     108- Cécile Baritel-Ruet (Inria Sophia-Antipolis Méditerranée)
    111109
    112110=== Former members ===
    113111
    114 Cécile Baritel-Ruet,
     112Miguel Ambrona,
    115113Simón Cancela-Díaz,
    116114[http://software.imdea.org/~jmcrespo/ Juan Manuel Crespo],
     
    120118[http://www.math.upenn.edu/~edvardf/teaching.html Edvard Fagerholm],
    121119Guido Genzone,
     120Giuseppe Guagliardo,
    122121Daniel Hedin,
    123122[http://www.sylvainheraud.fr/research/ Sylvain Heraud],
     
    127126[http://anne.pacalet.fr/ Anne Pacalet],
    128127Guillermo Ramos,
     128[http://www.beschmi.net Benedikt Schmidt] (Google),
    129129Léo Stefanesco,
    130130[http://research.microsoft.com/people/santiago/ Santiago Zanella-Béguelin]