forked from np/crypto-agda
-
Notifications
You must be signed in to change notification settings - Fork 5
/
README.agda
49 lines (37 loc) · 1.32 KB
/
README.agda
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
{-# OPTIONS --without-K #-}
module README where
open import Explore.README
open import Game.DDH
open import Game.IND-CPA
open import Game.IND-CCA
open import Game.IND-CCA2
open import Game.IND-CCA2-dagger
open import Game.IND-CPA-dagger
open import Game.EntropySmoothing
open import Game.EntropySmoothing.WithKey
open import Game.ReceiptFreeness
open import Game.Transformation.CCA-CPA
open import Game.Transformation.CCA2-CCA
--open import Game.Transformation.CCA2-CCA2d
open import Game.Transformation.CCA2d-CCA2
open import Game.Transformation.CPA-CPAd
open import Game.Transformation.CPAd-CPA
open import Game.Transformation.Naor-Yung
--open import Game.Transformation.Naor-Yung-proof
--TODO[or not] open import Attack.BruteForce.Keys
--TODO open import Attack.BruteForce.Randomness
--TODO[could be trivially based on Attack.BruteForce.Randomness] open import Attack.Deterministic
open import Attack.Compression
open import Attack.Reencryption
open import Crypto.Schemes
open import Crypto.Cipher.ElGamal.Generic
open import Crypto.Cipher.ElGamal.Homomorphic
open import Solver.Linear
open import Solver.AddMax
open import FunUniverse.README
open import bijection-syntax.README
--open import alea.cpo
open import circuits.circuit
open import Composition.Horizontal
open import Composition.Vertical
open import Composition.Forkable