DTU Compute’s research contributes to ensuring secure societies, including the protection of citizens’ freedom and security—including research within proactive as well as reactive security. The research section Cyber Security is a leader within symmetrical encryption. The research section Formal Methods is leading the way when it comes to the use of formal technologies in proactive security; in particular, the analysis of security protocols, the analysis of information flows in IT systems, and the security analysis of sociotechnical systems. In addition, the department participates in the Center for Information Security (ISEC).
Examples of research projects:
- CompoSec (Sapere Aude project): Concerns the analysis of composite security protocols
- LIGHTest (Horizon 2020 project): Concerns the establishment of a lightweight infrastructure for the verification of electronic transactions