Changes between Version 30 and Version 31 of WikiStart


Ignore:
Timestamp:
31 May 2014, 18:47:02 (5 years ago)
Author:
François Dupressoir
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v30 v31  
    2020examples that were previously out of scope, for instance modular
    2121proofs of security for key-exchange protocols.
     22
     23!EasyCrypt is being developed jointly by the [wiki:Team computer-aided cryptography group] at the IMDEA Software Institute and by INRIA.
    2224
    2325== Publications ==
     
    5658[https://lists.gforge.inria.fr/mailman/listinfo/easycrypt-club EasyCrypt club mailing list]
    5759for general questions.
    58 
    59 == Related tools ==
    60 
    61 - '''!CertiCrypt''' is a fully machine-checked framework for
    62   building and verifying game-based cryptographic proofs in the
    63   Coq proof assistant. The original version of !EasyCrypt
    64   featured a mechanism for compiling !EasyCrypt scripts into
    65   !CertiCrypt proofs. This mechanism is currently disabled. For
    66   additional information, visit the
    67   [http://certicrypt.gforge.inria.fr/ CertiCrypt website].
    68   !CertiCrypt was developed actively from 2006 until
    69   2011. Its latest stable version can be obtained from us upon
    70   request.
    71 - '''ZKCrypt''' is a cryptographic compiler that outputs Java and
    72   C implementations of zero-knowledge protocols from high-level
    73   specifications, together with !EasyCrypt proofs of their
    74   correctness.
    75 - '''ZooCrypt''' is an automated tool for analyzing the security
    76   of padding-based public-key encryption schemes (i.e. schemes
    77   built from trapdoor permutations and hash functions). !ZooCrypt
    78   includes an experimental mechanism to generate !EasyCrypt
    79   proofs of security of analyzed schemes.