Hoppa till huvudinnehållet

Anoud Alshnakat

Profilbild av Anoud Alshnakat

DOKTORAND

Detaljer

Arbetar vid

TEORETISK DATALOGI

Adress
LINDSTEDTSVÄGEN 5, PLAN 5
Rum

Forskare


Om mig

I am a PhD student in the Theoretical Computer Science (TCS) department at KTH Royal Institute of Technology.

This PhD position is funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP) with the major focus on Autonomous Systems, and minor focus on Security for Autonomous Systems. I am also a member of the WASP PhD student council.

My current research area is focusing mainly on systems security and formal methods. I am working under the supervision of Mads Dam.

Project Description:  5G, AI and virtualisation are all modern applications face a great deal of security and safety issues,  due to shared resources. Mistrusted tenants affect the security of the shared resource. Thus, it might lead to greater consequences especially when the system is expected to take real hard-time decisions. The PhD project aims to exploit further studies using formal methods towards a reliable and secure on-demand resource availability.
 


Kurser

Datasäkerhet (DD2395), assistent | Kurswebb

Logik för dataloger (DD1351), assistent | Kurswebb

Programvarukonstruktion i projektform (DD1367), assistent | Kurswebb

Profilbild av Anoud Alshnakat

Publikationer

Publikationslista