Contact: Dr. Sergio Maffeis.

Security and privacy are primary concerns for modern distributed systems, the cloud, and Web applications in general. The worrying number of cyber-security incidents, and the recent revelations on mass-surveillance and privacy abuses, testify to the dire state of the art, and the need for significant progress from both industry and academia. The widespread presence of connected, embedded devices, and the need for highly performant solutions, pose additional challenges that are particularly relevant to HiPEDS.

We adopt a multi-pronged approach for improving the security of distributed systems. For example, we have:

To pursue this research further, we are looking for excellent PhD candidates with a strong background in formal methods or systems/software engineering, and a keen interest in security.