Secure Operation of Uncontrolled and Reliable Computing on the Edges

In the future, computing and communication systems must accommodate a diverse range of applications, including telemedicine, intelligent transportation, extended reality (XR), and personal assistants. Some of these are already a reality, thanks to powerful computer hardware, faster and more reliable mobile communication (such as 5G), and significant advancements in AI and software technologies. Notably, generative AI has made remarkable progress in recent years, unlocking numerous possibilities for research in this field.

This project aims to leverage generative AI to address critical challenges related to secure resource allocation in dynamic edge scenarios. Researchers will explore how to specify, train, and verify generative AI models for creating orchestration mechanisms and protocols. Their goals include detecting and mitigating attacks against intelligent Function as a Service (FaaS) systems and enabling runtime security verification for both manually and automatically generated orchestration mechanisms.