Annonce
Navne

Ph.d.-forsvar: Matematik garanterer, at programmer er sikre imod datalækager

Mathias Vorreiter Pedersen har forsket i, hvordan man kan lave avancerede programmeringssprog, som kan bruges til at garantere, at et program ikke er sårbart overfor visse former for hackerangreb.

Mathias Vorreiter Pedersen forsvarer onsdag 23. oktober kl. 13 sin ph.d.-afhandling i bygning 5342, lokale 333, ADA-333, Institut for Datalogi på Aarhus Universitet, Åbogade 34, Aarhus N .

I løbet af sit studium har han forsket i, hvordan man kan lave avancerede programmeringssprog, som kan bruges til at garantere, at et program ikke er sårbart overfor visse former for hackerangreb. Bag kørslen af de fleste computerprogrammer ligger et runtime-system, og han har undersøgt, hvordan eksisterende runtime-systemer kan udnyttes til at lække følsom information gennem systemets kørselstid. Han har også forsket i, hvordan sikre runtime-systemer og kan blive udviklet samt, hvordan det kan bevises matematisk, at de er sikre imod en stor klasse af hackerangreb.

Ph.d.-studiet er gennemført ved Institut for Datalogi, Science and Technology, Aarhus Universitet.

Annonce
Annonce
Annonce
Annonce
Annonce
Forsiden netop nu
Aarhus

Tæt trafik på Helgenæs skaber debat

Annonce