< Terug naar vorige pagina

Project

Een wiskundige theorie voor het ontwerp en de analyse van symmetrische cryptografische primitieven.

In een perfecte wereld zouden alle veiligheidsmechanismen gebaseerd zijn op sterke wiskundige fundamenten die toelaten om hun eigenschappen te bewijzen. Tot nu toe heeft vooral de asymmetrische cryptologie nuttig gebruik kunnen maken van een dergelijke solide wiskundige basis. Hoewel er goed ontwikkelde theorieën voor het ontwerpen en analyseren van asymmetrische primitieven bestaan, is dit veel minder het geval voor symmetrische primitieven. De veiligheid van de ontwerpen die in de praktijk gebruikt worden kan niet formeel bewezen worden. Nochtans maken bijna alle cryptografische toepassingen gebruik van symmetrische primitieven, soms in combinatie met asymmetrische primitieven. Dit project heeft een drievoudige doelstelling. Ten eerste proberen we om de toestand van bewijsbare veiligheid voor symmetrische cryptologie te verbeteren door verbanden te leggen met de fundamentele problemen die bestudeerd worden in gevestigde disciplines van de wiskunde, zoals codetheorie en kanstheorie, en door betere veiligheidsmodellen te definiëren. Ten tweede zullen we nieuwe cryptanalytische aanvalsstrategieën bestuderen, en nagaan hoe ontwerpen gemaakt kunnen worden waarvoor bewezen kan worden dat ze bestand zijn tegen dergelijke aanvallen. Ten laatste zullen we onze aandacht richten op fundamentele grenzen bij het ontwerpen van lichtgewicht cryptografische primitieven, bijvoorbeeld voor RFID (Radio Frequency IDentification) tags.
Datum:1 okt 2010 →  30 sep 2011
Trefwoorden:Symmetric cryptography, Lightweight cryptography, Provable security
Disciplines:Andere ingenieurswetenschappen en technologie