Modulaire Analyse en Ontwerp van Hashfuncties en Blokcijfers.

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 verschillende manieren waarop een aanvaller de sleutel kan gebruiken, zoals verwante-, bekende-, en gekozen-sleutel-aanvallen. Met behulp van deze theoretische basis zullen concrete hashfuncties en blokcijferontwerpen geanalyseerd worden. Deze analyse zal voornamelijk berusten op het reduceren van veiligheidsbewijzen. Het uiteindelijke doel is om generalisaties van de veiligheidseigenschappen te verschaffen, waaraan een onderliggende constructie moet voldoen teneinde voor een hashfunctie of blokcijfer een adequaat veiligheidsniveau te garanderen.

Trefwoorden:Block ciphers, Hash functions, Symmetric cryptography, Provable security, Indifferentiability

Disciplines:Multimediaverwerking, Biologische systeemtechnologie, Signaalverwerking