Projecten
Lage-latentie threshold implementaties voor nevenkanaal beschermde cryptografische hardware KU Leuven
Huidige bescherming tegen fysieke aanvallen tegen hardware implementaties van cryptografische primitieven beschouwen slechts specifieke aanvaltypes waardoor ze falen tegen combinaties van bijvoorbeeld nevenkanaal- en foutaanvallen. Bovendien is de bijkomende kost voor deze berscherming significant. Het doel van dit doctoraat is het onderzoeken van nieuwe manieren and ontwerpsmethoden om deze gecombineerde aanvallen te verhinderen.
Evaluatie van nevenkanaal aanvalbestendige cryptografische implementaties tijdens de ontwerpfase KU Leuven
Traditiegetrouw worden de meeste cryptografische algoritmes uitgevoerd op servers met een grote rekenkracht en opgeslagen in fysiek beveiligde locaties. Technologische verbeteringen hebben ons alomtegenwoordige ingebedde apparaten gebracht, die ons dagelijks leven omvatten. Veilige communicatie gebruik makend van dergelijke toestellen wordt bovendien verhinderd twee bijkomende aspecten. Ten eerste zijn de meeste cryptografische algoritmen ...
Een wiskundige theorie voor het ontwerp en de analyse van symmetrische cryptografische primitieven. KU Leuven
Laag-vermogen ASIC ontwerp voor IoT beveiliging KU Leuven
Het doel van dit PhD werk is om verschillende concepten uit te werken ter beveiliging van IoT systemen, met een sterke focus op cryptografische coprocessoren. De hoofddoelstelling is om laag-vermogen en hoog-performante bouwblokken te bestuderen voor 65nm tot 28nm Si CMOS technologieën. Het laagvermogen aspect wordt beoogd door het gebruik van sub-threshold logische poorten bij het ontwerp van het ASCON algoritme. Side-channel analyse zal ...
Symmetrische cryptografische primitieven met een lage complexiteit KU Leuven
Privacy vormt tegenwoordig de kern van veel maatschappelijke discussies. In het tijdperk van big data en het internet der dingen worden onze persoonlijke gegevens verzameld en geanalyseerd door inlichtingendiensten en IT-bedrijven. Het versleutelen van gegevens is een goede voorzorg bij de bescherming van privacy. Symmetrische cryptografie wordt op grote schaal gebruikt om de vertrouwelijkheid van persoonlijke gegevens te beschermen. ...
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 ...
Ontwerp van toepassingsspecifieke hashfuncties KU Leuven
De veiligheid van symmetrische-sleutel cryptografische constructies wordt vaak bestudeerd vanuit de veronderstelling dat onderliggende primitieven veilig zijn. Dit is de reden dat goed geanalyseerde primitieven uiterst belangrijk zijn voor het ontwerp van efficiënte en veilige cryptografische schema's en protocollen. Helaas hebben slechts een paar soorten gespecialiseerde primitieve ontwerpen voldoende aandacht gekregen van de cryptanalisten. ...
Beveiliging en privacy voor cyber-fysische systemen en het Internet van de Dingen KU Leuven
Algoritmen en implementatie van pluimgewicht elliptische krommen cryptografie met ingebouwde HW. KU Leuven
Dit project richt zich vooral op aanvallen met behulp van gelokaliseerde elektromagnetische metingen van een apparaat wanneer het cryptografische operaties berekent. Wanneer het apparaat iets met behulp van de geheime sleutel berekent, stuurt het elektromagnetische straling die afhankelijk is van de geheime sleutel en dat kan de waarde van de sleutel onthullen voor een aanvaller die de straling meet. Deze aanvallen zijn bijzonder krachtige ...