Doctoraat in de ingenieurswetenschappen: computerwetenschappen

Geavanceerde technieken voor de uitvoering van meerdere varianten


Doctorandus Publieke verdediging
Naam: Stijn Volckaert   Datum: Dinsdag 17/11/2015 om 15:00 
Adres: vakgroep Elektronica en Informatiesystemen (EA06)
Technologiepark Zwijnaarde 15, iGent, 9052 Zwijnaarde
  Lokatie: auditorium F van het Plateaugebouw, faculteit Ingenieurswetenschappen en Architectuur, Jozef Plateaustraat 22, 9000 Gent
Contact FEA: info.ea@ugent.be   Taal: Nederlands

Curriculum
Bachelor in de Ingenieurswetenschappen: Computerwetenschappen, Universiteit Gent, 2008
Master in de Ingenieurswetenschappen: Computerwetenschappen - Optie: Software Engineering, Universiteit Gent, 2010

Promotor
Bjorn De Sutter
Koen De Bosschere

Examencommissie
prof. Gert De Cooman
Bjorn De Sutter (EA06)
Koen De Bosschere (EA06)
Bart Coppens, Universiteit Gent, Faculteit Ingenieurswetenschappen en Architectuur, EA06 - Vakgroep Elektronica en Informatiesystemen, Technologiepark Zwijnaarde 126, 9052 Zwijnaarde
E: bart.coppens@ugent.be
Filip De Turck
Frank Piessens
Michael Franz
Jack Davidson

Onderzoeksthema

Multi-Variante Uitvoeringsomgevingen (MVUOs) zijn een veelbelovende techniek om software te beveiligen tegen kwetsbaarheden en aanvallen daarop. MVUOs voeren meerdere varianten van hetzelfde programma gelijktijdig uit zonder dat de gebruiker dit merkt. Een monitor zorgt ervoor dat deze varianten dezelfde invoer krijgen en vergelijkt het gedrag van de varianten gedurende hun hele uitvoering. Alle gekende aanvallen slagen hoogstens op één van de varianten. Het gedrag van de varianten divergeert daarom bij een aanval. De monitor zal dit detecteren, en de aanval tegen houden. MVUOs worden in de praktijk nog niet gebruikt omdat ze te traag zijn, geen realistische programma's ondersteunen, of geen sterke beveiliging bieden. In dit proefschrift worden technieken voorgesteld die voorgenoemde problemen verhelpen. Concreet worden eerst technieken voorgesteld om de ondersteuning voor gediversifieerde programma's te verbeteren, om het uitvoeren van meerdradige programma's mogelijk te maken, en om sterke beveiliging te bieden tegen aanvallen met codehergebruik. Tenslotte wordt ook een nieuw en efficiënt ontwerp voorgesteld voor een MVUO die serverapplicaties met minimale vertraging kan uitvoeren.


Taal proefschrift
Engels

Documenten