Changes between Version 26 and Version 27 of WikiStart


Ignore:
Timestamp:
29 May 2014, 14:31:42 (5 years ago)
Author:
Pierre-Yves Strub
Comment:

Members (and former ones) moved to the Team page

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v26 v27  
    7676  proofs of security of analyzed schemes.
    7777
    78 == People ==
    79 - [http://software.imdea.org/~gbarthe/ Gilles Barthe] (IMDEA Software Institute)
    80 - [http://software.imdea.org/~jmcrespo/ Juan Manuel Crespo] (IMDEA Software Institute)
    81 - [http://fdupress.net François Dupressoir] (IMDEA Software Institute)
    82 - [http://www.math.upenn.edu/~edvardf/teaching.html Edvard Fagerholm] (UPenn - Visitor Ph.D. Candidate)
    83 - [http://www-sop.inria.fr/everest/Benjamin.Gregoire/ Benjamin Grégoire] (INRIA Sophia-Antipolis Méditerranée)
    84 - [http://www.easycrypt.info/#people Benedikt Schmidt] (IMDEA Software Institute)
    85 - [http://strub.nu/ Pierre-Yves Strub] (IMDEA Software Institute)
    8678
    87 === Former members ===
    88 - Guido Genzone
    89 - Daniel Hedin
    90 - Sylvain Heraud
    91 - [http://software.imdea.org/people/federico.olmedo/ Federico Olmedo]
    92 - [http://software.imdea.org/~ckunz/ César Kunz]
    93 - Anne Pacalet
    94 - Adrian Silveira
    95 - [http://research.microsoft.com/people/santiago/ Santiago Zanella-Béguelin]
    9679
    9780== Acknowledgments ==