Projecten
Een gefundeerde aanpak voor cross-layer software en hardware ontwerp voor beveiliging KU Leuven
Computersystemen worden ontworpen als lagen van abstracties,
waardoor ingenieurs zich kunnen concentreren op het deel van het
systeem waarin ze expertise hebben. Zo kunnen bv hardwareingenieurs
en software-ingenieurs relatief onafhankelijk van elkaar
werken.
Hoewel de gelaagde ontwerpbenadering erg succesvol is geweest en
veel voordelen heeft (waaronder: draagbaarheid en hergebruik van
software mogelijk ...
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 ...
Aantoonbaar behouden van veiligheidseigenschappen in aanwezigheid van aanvallers op een lager abstractieniveau KU Leuven
Onze moderne samenleving boogt in toenemende mate op computerapparaten voor haar goede werking. Met hun verhoogde aanwezigheid neemt ook het aantal interacties tussen verschillende softwarecomponenten toe. Om deze interacties te beveiligen en de impact van bug-exploits (zowel kwaadaardig als accidenteel van aard) te beperken, is een soort beveiligingsprimitief vereist om de interface tussen verschillende componenten te handhaven.
In ...
Ontwikkeling van een interventie voor de verbetering van palliatieve sedatie in woonzorgcentra: een fase 0-2 studie volgens het MRC framework Vrije Universiteit Brussel
ACTION Vrije Universiteit Brussel
Over Zorg rond het ...
Valorisatie van een ontwerpmethodiek voor mens en niet-mens HOGENT
Aantoonbaar veilige systemen met universele contracten en veilige compilatie. KU Leuven
Een van de drijvende ambities van mijn onderzoek is het mogelijk en betaalbaar maken om systemen te ontwikkelen met een rigoureus bewijs van belangrijke beveiligingseigenschappen.
Stel je bijvoorbeeld voor dat je de software voor een slim apparaat bouwt met een computergeverifieerde garantie dat het uitsluitend zal communiceren met servers op example.com, of software voor een industriele controller waarvan bewezen kan worden dat hij ...
ERC-Opvangmandaat: Laag-niveau objectmogelijkheden, formeel Vrije Universiteit Brussel
DIAdIC - Evaluatie van dyadische psycho-educatieve interventies voor mensen met gevorderde kanker en hun informele zorgverleners: een internationaal gerandomiseerd gecontroleerd pad Universiteit Gent
transdisciplinaire, cross-nationale gerandomiseerde, gecontroleerde studie ter evaluatie van de effectiviteit en kosteneffectiviteit van 2 psychosociale en educatieve interventies (eHealth en door een verpleegster geleide face-to-face) gericht op het verbeteren van de kwaliteit van leven en welzijn van patiënten met gevorderde kanker en hun familie zorgverleners, beoordeeld door middel van een gerandomiseerde gecontroleerde studie.