1) Perfect Secrecy:      0/8  (P=C=K nicht beachtet)
2) F_256:                x/8
3) Unterscheider:        0/8  (nicht gemacht)
4) MixCol:               x/12
5) {Exists x:..}:        0/8  (2^l^L statt 2^l^2^L)
6) rsa:                  x/12
7) log(c) = z:           0/12 (r^-1 nicht immer bestimmbar)
------------------------------------------------------
   gesamt:          [0-32]/68