Secure and distributed systems

Modern digital infrastructure faces unprecedented challenges in safeguarding information security and maintaining operational reliability across increasingly complex distributed systems. According to industry reports, cybersecurity breaches cost the global economy over $7 trillion annually, with this figure projected to reach $10.5 trillion by 2028. The proliferation of IoT devices, estimated to exceed 75 billion by 2030, creates vast attack surfaces that traditional security frameworks struggle to protect. Meanwhile, distributed networks supporting critical services from healthcare to transportation require novel approaches to ensure resilience against both malicious attacks and technical failures.

In our group we focus on building secure, safe, privacy-preserving, reliable, and trustworthy systems. Our research investigates the computational and networking challenges associated with modern information and communication paradigms such as Internet, distributed networks, and high-performance computing. We employ advanced techniques spanning cryptography, formal verification, machine learning, and performance modelling to develop next-generation security solutions for increasingly complex digital ecosystems.