Projecten
Bewijsbare Veiligheid van Multivariate Kwadratische Primitieven. KU Leuven
Dit onderzoek richt zich op de veiligheid van de publieke sleutel cryptosystemen onder quantum aanval, vanuit een ontwerp perspectief. Afgezien van gezonde ontwerprichtlijnen, is het de bedoeling om een aantal cryptosystemen voor te stellen met oog op gebruik als drop-in vervanging voor de huidige primitieven in publieke sleutel infrastructuur, zoals de sleutelovereenkomst, publieke sleutel encryptie en digitale handtekeningen. Binnen het ...
Beveiliging en privacy in een Internet of Things-omgeving KU Leuven
Het SPITE-project beoogt de geschikte oplossingen te vinden om geavanceerde toegangscontrole te realiseren in een Internet-of-Things omgeving.
Blokcijfers als verzamelingen van permutaties: indifferentieerbaarheid, groepgeneratoren, onderscheiden. KU Leuven
Objectmogelijkheden op laag niveau voor formeel waterdichte beveiliging. KU Leuven
Object-mogelijkheden (ocaps) zijn een techniek voor fijnmazige scheiding van bevoegdheden in programmeertalen, met toepassingen in beveiliging en software-engineering. Ocaps worden praktisch gebruikt in programmeertalen op hoog niveau zoals JavaScript, maar de laatste tijd is er ook een hernieuwde belangstelling voor capaciteitsmachines: processors die ocaps toepassen op het lage niveau van assembleertalen (lowcaps). Beveiligingsmaatregelen ...
Beveiliging en privacy voor cyber-fysische systemen en het Internet van de Dingen KU Leuven
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. ...