Security and privacy
The increasing digitalization and connectivity brings security and privacy concerns to the forefront. In this research area, we study such concerns and develop new technologies that can ensure security and privacy. Our work ranges from analyzing and designing fundamental cryptographic techniques to building secure systems and formally verifying their security and privacy guarantees.
The goal of the Secure Systems research group is to create new technologies and design and analysis methods for the development of secure computing and communication systems. The new technologies should be, at the same time, secure, easy to use, and inexpensive to deploy. As is typical for security research, our results also include the discovery of novel attacks and previously unknown classes of vulnerabilities in existing systems. Security against malicious attacks is a basic requirement for all network-connected services and products, and scientific research can provide both fundamental understanding of the security issues and practical solutions that enable product development.
Research on the foundations of system design currently focuses on formal methods, computer-aided verification and synthesis, system modeling and simulation, and compositionality. Research work involves developing theory and building tools for designing better (and better designing) systems. Application domains include safety-critical systems, embedded systems, and cyber-physical systems.
Security and Privacy are inherently multi-disciplinary. Research groups across Aalto University are engaged in studying different aspects of these themes.