Changes between Version 32 and Version 33 of WikiStart


Ignore:
Timestamp:
9 Jun 2014, 12:51:15 (5 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v32 v33  
    2121proofs of security for key-exchange protocols.
    2222
    23 !EasyCrypt is being developed jointly by the [wiki:Team computer-aided cryptography group] at the IMDEA Software Institute and by INRIA.
     23{{{#!table class=noborder style="padding-right: 10px;"
     24{{{#!td class=noborder style="width: 60%;"
     25!EasyCrypt is being developed jointly by the
     26[wiki:Team computer-aided cryptography group] at the IMDEA Software
     27Institute 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}}}
     33}}}
    2434
    2535== Downloads ==