Projecten
Blokcijfers als verzamelingen van permutaties: indifferentieerbaarheid, groepgeneratoren, onderscheiden. KU Leuven
Veilige vertaling van hoog-niveau talen naar machine code. KU Leuven
In deze doctoraatstekst analyseren we de veiligheid van populaire netwerkprotocollen. Eerst onderzoeken we het Protected Access Temporal Key Integrity Protocol (WPA-TKIP), en daarna bestuderen we de veiligheid van het RC4 stroomcijfer in zowel WPA-TKIP als het Transport Layer Security (TLS) protocol. We focussen op deze protocollen vanwege hun populariteit. Meer bepaald, in november 2013 werd WPA-TKIP gebruikt door twee derde van alle ...
WET: Watermerken, Encryptie en Transcodering. KU Leuven
Gecombineerde side-channel en architecturale beveiliging KU Leuven
Moderne processoren maken gebruik van een groot aantal technieken om hun prestaties te verbeteren zoals out-of-order executie en speculatie. Deze zijn vaak zorgwekkend aangezien ze meestal de architecturale beveiligingsaspecten niet voldoende in rekening brengen. Deze thesis heeft als doel dat laatste te onderzoeken.
Analyseren van computerveiligheid op het web met visuele analyse. KU Leuven
Goede onderzoekspraktijken vormen de basis voor geldige, betrouwbare en geloofwaardige onderzoeksresultaten. In de context van webbeveiligingsonderzoek benadrukt het belang van metingen die de empirische gegevens leveren voor het analyseren en verbeteren van beveiliging op het web de noodzaak om deugdelijke datasets en methoden te gebruiken die het mogelijk maken om deze metingen nauwkeurig, volledig, representatief en transparant uit te ...
Hardware-software co-design voor het vollediger afdwingen van systeem-beveiliging KU Leuven
Moderne hardware is sterk afhankelijk van optimalisaties om de prestaties te verbeteren. Helaas gaan deze optimalisaties vaak ten koste van de beveiliging. Hardware-software co-design is een veelbelovende oplossing om deze aanvallen tegen redelijke kost in te perken, maar is een uitdaging. Het ontwerpen van hardwareverdedigingen die aantoonbaar een volledigere beveiliging bieden, vereist (1) het formaliseren van de garanties van deze ...
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.
Beveiligingsarchitectuur voor betrouwbare genetwerkte ingebedde computers. KU Leuven
Ingebedde systemen voorzien vaak beveiligingsuitbreidingen op hardwareniveau, zoals speciale instructies of coprocessoren in plaats van destandaardbeveiligingsuitbreidingen in processoren van het hogere gamma.We willen onderzoeken welke voordelen, beperkingen en afwegingen gemaakt moeten worden om beveiligingshardware te voorzien van de nodige softwareondersteuning. ...
Veilige microarchitecturen voor betrouwbare uitvoeringseenheden KU Leuven
Het uitvoeren van een computerprogramma veroorzaakt onbedoelde nevenef-
fecten die afhankelijk zijn van de verwerkte gegevens. Microarchitecturale
nevenkanaalaanvallen maken gebruik van de neveneffecten die ontstaan
door interferentie in gedeelde hardwarecomponenten. De meest invloedrijke
microarchitecturale nevenkanaalaanvallen zijn cacheaanvallen. Dergelijke
aanvallen richten zich op de hierarchie van caches in ...