Secure Societies

Secure Societies

DTU Computes forskning bidrager til sikre samfund og herunder beskyttelse af borgeres frihed og sikkerhed - dette inkluderer forskning inden for proaktiv såvel som reaktiv sikkerhed. Forskningssektionen Cyber Security er førende inden for symmetrisk kryptering. Forskningssektionen Formal Methods er førende indenfor anvendelsen af formelle teknikker i proaktiv sikkerhed, specielt skal nævnes analyse af sikkerhedsprotokoller, analyse af informationsflow i IT-systemer og sikkerhedsanalyse af socio-tekniske systemer. Derudover deltager instituttet i Center for Information Security (ISEC).

Eksempler på forskningsprojekter:
- CompoSec (Sapere Aude projekt): Omhandler analyse af sammensatte sikkerhedsprotokoller
- LIGHTest (Horizon 2020 projekt): Omhandler etablering af en let-vægts infrastruktur for verifikation af elektroniske transaktioner.

Kontakt

Christian W. Probst
Lektor, Sektionsleder
DTU Compute
45 25 75 12

Kontakt

Hanne Riis Nielson
Professor, sektionsleder
DTU Compute
45 25 37 36