File | Kind | Size | Size w/o PC Chains | Method | Type of Infoflow Error | Cause | Resolution |
Player.java | Secret <= Public | 0 | 0 | initProtocol | explicit | need to declassify z before putting into DNC Chain | declassify |
DNCChain.java | 4 | 4 | DNCChain constructor | explicit | signature is signed by private key and then placed into DNC Chain | declassify | |
4 | 4 | initProtocol | explicit | encrypted delta_i value is added to a PHIntVector, a publicly available data structure | declassify | ||
5 | 5 | initProtocol | explicit | encrypted delta_i value is added to a PHIntVector, a publicly available data structure | declassify | ||
PermutationMatrix.java | 13 | 12 | getDigest | explicit | returns a Digest of a permutation matrix using SHA1 | declassify | |
PHEPermutationMatrix.java | 14 | 12 | constructor | explicit | declassify jj – which is round[(s – 2) * random()] | declassify | |
4 | 3 | initProtocol | explicit | in constructing k, often compare public key to k * z (z is constructed with secret information) | declassify | ||
8 | 8 | explicit | declassify encrypted card vector | declassify | |||
declassify result of multiplying encrypted matrix with pi_i | declassify | ||||||
PHCrypto.java | 1 | 1 | constructor | explicit | need to multiply two probable primes to get our secret key | declassify | |
in constructing eps_i, often compare public key to eps_i * z (z is constructed with secret information) | declassify | ||||||