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.