Projecten

Belangrijke aspecten van de alsmaar toenemende complexiteit van softwaresystemen zijn hun blootstelling aan verschillende soorten onzekerheden en de nood aan 24/7 beschikbaarheid. Zelf-adaptiviteit is een belangrijke aanpak om de systeemdoelen onder dergelijke omstandigheden te waarborgen. Zelf-adaptiviteit voegt aan een software systeem een feedbacklus toe die het systeem en zijn context bewaakt en het systeem aanpast om de systeemdoelen te ...

Veel computerarchitecturen bieden beveiligingsprimitieven die kunnen worden gebruikt om de beveiliging van softwaresystemen te verbeteren. Een recent voorbeeld is de CHERI-architectuur, die een efficiënte notie van capabilities in hardware implementeert. Een capability is een onvervalsbaar token dat autorisatie geeft om toegang te krijgen tot een stuk geheugen. Capabilities bieden garanties voor geheugenveiligheid en vormen daarom een ...

Beveiliging en privacy worden reeds lang erkend als essentiële eigenschappen in de ontwikkeling van softwaresystemen. Ondanks hun belang, gaat veel van de aandacht enkel naar de implementatie van deze principes op broncode-niveau. Niettemin is de evaluatie van deze principes op ontwerp-niveau essentieel om veilige en privacybeschermende software te realiseren en kostelijke ontwerpfouten te vermijden. Het vermijden van beveiligings- en ...

De IT-sector wordt gekenmerkt door een heterogeniteit aan, onder andere, platformen, apparaten, modaliteiten, gebruikers met verschillende kenmerken en vaardigheden. Deze heterogeniteit houdt een reële uitdaging in, aangezien zij aanleiding geeft tot een groeiend aantal zeer complexe softwaretoepassingen met een grote verscheidenheid aan functies.

De heterogeniteit aan platformen en verwachtingen van gebruikers, b.v. in termen van ...

Softwareveiligheid betekent de onkwetsbaarheid van een system voor kwaadaardige derden die pogen het gedrag ervan te wijzigen (bv. om niet-geauthoriseerde acties uit te voeren). Het garanderen van deze eigenschap in informatie- en communicatietechnologieën is een vereiste om een betrouwbare Informatiemaatschappij te bereiken. Verscheidene strategieën kunnen hiertoe geëxploreerd worden. Eén daarvan, genaamd programma-analyse, steunt op formele ...

Met de opkomende populariteit van het Internet der Dingen (the Internet of Things), stijgt het gebruik van kleine, laag vermogen ingebedde apparaten exponentieel. Helaas missen dit soort apparaten vaak de beveiligingsfuncties die we gewend zijn bij desktop- en serversystemen. Echter, in een context waar verschillende onderling wantrouwende partijen een infrastructuur delen om gevoelige data te verwerken, wordt het gebrek aan, bijvoorbeeld, ...

De complexiteit van softwaresystemen beheersen is een van de blijvende uitdagingen van de informatica, en het domein van programmeer- en modelleringstalen in het bijzonder. Puur Functioneel Programmeren (PFP) geniet brede erkenning om complexiteit te reduceren. Helaas is ondersteuning voor neven-effecten, vooral op modulaire wijze, een essentieel probleem van PFP.

Dit project ontwikkelt PFP-technieken voor neven-effecten in zeer ...

Verificatie van software heeft de potentie om de veiligheid van software drastisch te verbeteren. Om dit werkelijkheid te laten worden, moet het mogelijk zijn om belangrijke beveiligingseigenschappen van softwaresystemen te verifiëren tegen redelijke kosten en met hoge zekerheid. In deze thesis zullen we technieken onderzoeken om dergelijke verificatie haalbaar te maken: we zullen specifiek kijken naar het toepassen van (semi-)automatisering, ...

We streven ernaar om een softwaresysteem te ontwikkelen voor automatische Freezing of Gait-detectie (FOG), met een viervoudige modulaire structuur, waarbij de unieke expertise van een klinisch en een technisch onderzoeksteam aan de KUL wordt samengevoegd. Validatie van een geautomatiseerde softwareoplossing om de ernst van FOG te beoordelen tegen de grondwaarheid, die de basis zal vormen voor het gaandeweg het bouwen van FOG-online en ...