Research

The following research groups conduct academic research primarily in information security and privacy:

Secure Systems Group (Aalto University and University of Helsinki): 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.

The Ambient Intelligence research group is working towards usable security solutions by integrating Pervasive Sensing into security protocols for smart objects. These technologies can provide spontaneous, implicitly secure interaction.

Foundations of System Design is a group developing theory and building tools for designing better (and better designing) systems. Our goal is to learn how to build systems that are safe, reliable, and secure. Current research topics include formal methods, computer-aided verification and synthesis, system modeling and simulation, and compositionality. Application domains include safety-critical systems, cyber-physical systems, and security protocols.

Cryptography research group is interested in the foundations of cryptography and the application of principled theory to practical security problems such as software security. We enjoy diversity of thought and each of us has their own interests and a different background in addition to cryptography, e.g., complexity theory, verification, algebra and logics.

 

Prof. Valtteri Niemi directs the HAIC research program (previously known as BURST) at Helsinki Institute for Information Technology.