Provable anonymity:
weak meaning of anonymity, mix, anonymity set, entropy measures,
probability distribution of permutations, total variation distance,
coupling lemma, random walk on a hypercube,
path coupling, delayed path coupling, ...
Security games: semantic security of Elgamal encryption,
DDH problem, security game, reduction of EG encryption to DDH,
pseudorandom permutations versus pseudorandom functions and random functions,
security of Rackoff-Luby construction
Composability:
modelling multiparty function evaluation, ``real world'' and ``ideal world''
models, secure realization of multiparty functin evaluation,