Modulaire Analyse en Ontwerp van Hashfuncties en Blokcijfers. KU Leuven
Het doel van dit project is om een betrouwbare theoretische basis voor formele veiligheidsdefinities van cryptografische hashfuncties en blokcijfers te ontwikkelen. De theoretische basis voor hashfuncties zal veiligheidsdefinities voor sleutelloze hashfuncties omvatten, alsmede voor hashfuncties die een additionele sleutel vast of verschillend per bericht als invoer hebben. Veiligheidsmodellen voor blockcijfers worden ge-introduceerd voor ...