Wiskundige aanpak voor de evaluatie van de veiligheid van blokcijfers tegen lineaire en differentiële cryptanalyse

Momenteel is de enige methode die bekend is om absolute veiligheid te bereiken, de One-Time Pad, enkel gebruikt deze onpraktisch lange sleutels. Voor alle moderne doeleinden gebruiken we encryptiemethoden waarvoor geen bewijs van absolute veiligheid bestaat. In plaats daarvan kunnen we bewijzen dat bepaalde klassen van aanvallen niet werken of dat ze een zeer grote hoeveelheid berekeningen of bepaalde extra informatie zouden vereisen. De studie van de beveiliging van versleutelingsmethoden tegen verschillende aanvallen wordt cryptanalyse genoemd. In dit project zullen we het veld van cryptanalyse uitbreiden door een onderzoek te doen naar twee belangrijke soorten aanvallen: lineaire aanvallen en differentiële aanvallen. We zullen de bestaande theorie uitbreiden door het wiskundig raamwerk te verbeteren wat gebruikt wordt om deze aanvallen te modelleren. We zullen tools ontwikkelen en uitbreiden om de veiligheidsanalyse van bestaande versleutelingsmethoden te automatiseren en om de nauwkeurigheid van de beveiligingsanalyse te verbeteren. Verder zullen we kijken naar nieuwe ontwerptechnieken met betrekking tot de behoeften van de moderne communicatie.