Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Project

Automatische identificatie van semantische beveiligingsproblemen in systeemsoftware zoals kernels

Output en outcomes

Code

DOCT/004237

Looptijd

12-07-2022 → 21-09-2025 (Lopend)

Doctoraal onderzoeker

Niels Dossche

Onderzoeksdisciplines

Niet beschikbaar

Projectomschrijving

Niet beschikbaar