Projecten
Technieken voor cryptanalyse van blokcijfers KU Leuven
Het onderzoek belangen van mijn promotie-onderzoek zijn de analyse en ontwerp van symmetrische-key primitieven, vooral blokcijfers. Blokcijfers zijn de basis van symmetrische-key cryptografie. Tijdens de laatste twee decennia, zijn uitgebreide inzichten over de analytische methoden en het ontwerp criteria ontwikkeld. Voor cryptanalysts, een grote vraag is naar goede distinguishers, zoals differentiële kenmerken en lineaire paden. Een van mijn ...
Lineaire cryptanalyse van ARX-gebaseerde blokcijfers KU Leuven
Sedert DES de eerste cryptografische standaard werd, zijn blokcijfers populaire bouwblokken geweest in cryptologie. Speck is een recent blokcijfer, ontwikkeld door de NSA in 2013. Het behoort tot de familie van de ARX cijfers. ARX constructies zijn populair omdat ze heel snel zijn in software. De veiligheid van dit soort cijfers volgt uit het gebruik van modulaire optelling, bit-rotaties en exof.
In dit project starten we met de ...
Wiskundige aanpak voor de evaluatie van de veiligheid van blokcijfers tegen lineaire en differentiële cryptanalyse KU Leuven
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 ...
Blokcijfers en versleutelingsmechanismen. KU Leuven
Dit project gaat over encryptie, variërend van de bouw van 'block ciphers' (wiskundige basis bouwstenen) naar verschillende typen encryptie-schema's.
Blokcijfers als verzamelingen van permutaties: indifferentieerbaarheid, groepgeneratoren, onderscheiden. KU Leuven
Nieuwe Methoden in White-Box Cryptografie KU Leuven
Omdat cryptografie alomtegenwoordig in onze digitale systemen te vinden is, worden cryptografische implementaties gebruikt in omgevingen waarbij een kwaadwillende partij het kan aantasten. Toch zijn cryptografische implementaties enkel ontworpen om te beveiligen in het “black-box” model, waar aanvallers enkel kunnen knoeien met de invoer en uitvoer van het primitief, maar ze geven geen beveiliging tegen “white-box” aanvallers, die de ...
Cryptanalyse en ontwerp van hashfuncties. KU Leuven
Twee bouwstenen ...
Nieuwe technieken voor de cryptanalyse van hashfuncties KU Leuven
Cryptografische hashfuncties beelden berichten van willekeurige lengte af op een digest van vaste lengte. Het zijn essentiële bouwblokken in de moderne cryptografie. In nagenoeg alle digitale handtekensystemen wordt bijvoorbeeld enkel de digest van het bericht ondertekend. Om de veiligheid van deze aanpak te garanderen moet het moeilijk zijn om twee verschillende berichten met dezelfde digest te vinden. Een dergelijk paar wordt een botsing ...
Geünificeerde grondbeginselen voor de lineaire en differentiële cryptanalyse van permutatie-gebaseerde cryptografie KU Leuven
Het eerste deel van deze thesis ontwikkelt een algemene theorie van symmetrische-sleutel cryptanalyse. Ze brengt lineaire, differentiële en integrale cryptanalyse samen in eenzelfde kader. Een universele definitie van paden maakt het mogelijk om de eigenschappen van geïtereerde functies op een systematische manier te bepalen. De theorie laat toe om de uitbreidingen van lineaire cryptanalyse op een uniforme manier te beschrijven. Voor ...