Revision - 916f3ca - first part of Real/Ideal formulation of IND-CCA2 - origin: https://github.com/EasyCrypt/easycrypt

visit type:

https://github.com/EasyCrypt/easycrypt

21 December 2021, 14:30:18 UTC

Revision 916f3ca970a0828d8318ee88f0409de4f8cdc52e authored by Christian Doczkal on 16 June 2021, 16:47:45 UTC, committed by Christian Doczkal on 03 December 2021, 13:59:52 UTC

first part of Real/Ideal formulation of IND-CCA2

1 parent 81bd4ac

Files
Changes

Tip revision: 916f3ca970a0828d8318ee88f0409de4f8cdc52e authored by Christian Doczkal on 16 June 2021, 16:47:45 UTC
first part of Real/Ideal formulation of IND-CCA2

Tip revision: 916f3ca

EasyCrypt (excluding the EasyCrypt standard library):
  Copyright (c) - 2012-2016 - IMDEA Software Institute
  Copyright (c) - 2012-2021 - Inria
  Copyright (c) - 2012-2021 - X
  Distributed under the terms of the CeCILL-C license

  http://www.cecill.info/licences/Licence_CeCILL-C_V1-en.txt

EasyCrypt standard library (theories/**/*.ec):
  Copyright (c) - 2012-2016 - IMDEA Software Institute
  Copyright (c) - 2012-2021 - Inria
  Copyright (c) - 2012-2021 - X
  Distributed under the terms of the CeCILL-B licence.

  http://www.cecill.info/licences/Licence_CeCILL-B_V1-en.txt

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...