Over ons onderzoek
Onderzoeksinstituut
Deze masterspecialisatie wordt aangeboden in nauwe samenwerking met het Institute for Computing and Information Sciences (iCIS), met name de afdeling Digital Security. Het doel van iCIS is om de beveiliging en betrouwbaarheid van computer-based systemen en algoritmen te verbeteren op basis van wiskundig onderbouwde theorieën.
Institute for Computing and Information Sciences
Afdeling Digital Security
De Digital Security group werkt aan een breed scala aan onderwerpen op het gebied van computerbeveiliging, waaronder toegepaste cryptografie, beveiligingsprotocollen, smartcards en RFID, en de beveiliging en correctheid van software. We zijn ook geïnteresseerd in maatschappelijke aspecten van digitale beveiliging, zoals privacy en e-voting, en de interactie met disciplines buiten de informatica zoals cryptografie en recht.
Digital Security werkt aan een breed scala aan onderwerpen in cyberbeveiliging, waaronder:
- Toegepaste cryptografie
- Beveiligingsprotocollen
- Smartcards en RFID
- Beveiliging en correctheid van software
- Privacy
- E-voting
- Cryptografie
- Cyberrecht
Student projecten
Een groot deel van deze master is gericht op onderzoek. Voorbeelden van studentprojecten staan hieronder. Meer projecten staan genoemd bij de afdeling Digital Security.
In PubHubs-hubs worden gebruikers geïdentificeerd door een (verkorte) hash, zoals a3g-a48, om in principe te voorkomen dat iemand zich voor een ander kan uitgeven. "In principe", omdat het onwaarschijnlijk is dat je de hash van een andere gebruiker zou onthouden, laat staan zou opmerken wanneer deze is veranderd. Daarom overwegen we het gebruik van een 'identicon' zoals gebruikt door GitHub (en anderen), maar we zien twee problemen: (1) Hoe voorkomen we dat gebruikers een identicon krijgen toegewezen die ze als aanstootgevend beschouwen? (Bijvoorbeeld een met de kleuren van een rivaliserende voetbalclub.), en (2) Is het voor een aanvaller haalbaar om een identicon te verkrijgen die voldoende lijkt op die van een andere persoon, door een groot aantal gebruikersaccounts te registreren.
Als je interesse hebt in dit onderwerp, stuur dan een e-mail naar dr. Bram Westerbaan.
De spiegeltheorie van Patarin stelt het volgende: Beschouw bitstrings en optellingen van deze bitstrings (bijvoorbeeld 1011 + 1100 = 0111). Beschouw het volgende stelsel vergelijkingen: P_1 + Q_1 = h_1, P_2 + Q_2 = h_2, P_3 + Q_3 = h_3, ... P_l + Q_l = h_l, waarbij h_1,...,h_l gegeven zijn. De spiegeltheorie geeft een ONDERGRENS voor het aantal oplossingen {P_1,...,P_l,Q_1,...,Q_l} die aan deze vergelijkingen voldoen, waarbij de P_i's verschillend zijn en de Q_i's verschillend zijn. Zie ook Sectie 1.1. Stelling 2 in dat artikel geeft een ondergrens voor een algemene setting, maar het bewijs wordt betwist. Later is er wel een bewijs gegeven. Het doel van de scriptie zou zijn om dit te simuleren, bijvoorbeeld door een slim computerprogramma te maken voor bitstrings van beperkte lengte en een beperkt aantal vergelijkingen dat de werkelijke ondergrens bepaalt.
Als je interesse hebt in dit onderwerp, stuur dan een e-mail naar dr. Bart Mennink.
Er zijn veel praktijktoepassingen die gebruik maken van cryptografie. Studenten die geïnteresseerd zijn in het onderzoeken van zo'n toepassing kunnen een voorstel doen en een onderzoeksvraag formuleren en naar ons toekomen. Wij zullen dan ons best doen om een interessante bachelorscriptie te begeleiden. In het verleden hebben we enkele interessante bachelorscripties in deze categorie gehad over bluetooth-authenticatie, sleutelbeheer in het signal-protocol, preventie van e-mail phishing, beveiliging van autosleutels, etc.
Als je interesse hebt in dit onderwerp, stuur dan een e-mail naar prof. Joan Daemen.