Formele verificatie van injection-verdedigingen
Onderzoek naar formele methoden om eigenschappen van injection-verdedigingen te verifiëren en wiskundige garanties te bieden voor de effectiviteit van verdedigingen.
researchformal-verificationproofsguarantees