Master Project: \\ Security and Privacy of Distributed Object Systems

This task is focusing on the security and privacy of distributed systems. In particular we will consider privacy aspects related to GDPR. In order to consider distributed systems at a high level of abstraction we will consider active object systems. This concurrency model combines two fundamental paradigms the object-oriented one and the actor model. The active object systems gives high-level modeling of distributed concurrent object systems.

The project will involve implementation work and programming in Maude. Therefore knowledge of Maude/resriting logic (for instance through IN2100) is needed.

There is room for one to three students in the project, where each will have a different focus. One focus is the analysis of security and privacy properties, considering both static and runtime analysis. Another focus is the runtime system and prototyping.

Knowledge of rewriting logic/Maude is desired, for instance as provided by the course IN2100 – Logic for System Analysis (given each spring).