Changes between Version 34 and Version 35 of WikiStart


Ignore:
Timestamp:
17 Jun 2014, 11:53:14 (5 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v34 v35  
    2121proofs of security for key-exchange protocols.
    2222
    23 {{{#!table class=noborder style="padding-right: 10px;"
    24 {{{#!td class=noborder style="width: 60%;"
     23{{{#!div style="padding: 0; height: 50px;"
     24[[Image(htdocs:imdea.png, nolink, 100px, align=right)]]
     25[[Image(htdocs:inria.png, nolink, 100px, align=right)]]
    2526!EasyCrypt is being developed jointly by the
    26 [wiki:Team computer-aided cryptography group] at the IMDEA Software
     27[wiki:Team Computer-Aided Cryptography Group] at the IMDEA Software
    2728Institute and by INRIA.
    28 }}}
    29 {{{#!td class="noborder nobreak" style="text-align: center;"
    30 [[Image(htdocs:imdea.png, nolink, 100px)]]
    31 [[Image(htdocs:inria.png, nolink, 100px)]]
    32 }}}
    3329}}}
    3430