Distributed Systems
[Open soon]
Work description
The work will be divided in the following steps: - Identify a sensible use case and collect its requirements. This involves identifying the specific CRDTs needed, classifying public/secret data and mapping out the trust relationships between different categories of clients and cloud providers. - Implement the secure computation backend and integrate it with the necessary CRDT logic, where updates and conflict resolution are performed by a secure idealized functionality. - Support dynamic replica quorums, to ensure that different (but overlapping) sets of replicas can perform updates while respecting client security policies. - Benchmark the library for the concrete use case and explore trade-offs between security overhead and synchronization latency. - Document the implementation details and contribute to a technical report detailing architectural choices and the synergy between secure computation, CRDTs and dynamic reconfiguration.
Academic Qualifications
- Bachelor's degree in Computer Science/Informatics Engineering or a related field.
Minimum profile required
- Bachelor's degree grade average higher than 14 (out of 20).
Preference factors
- Experience in distributed systems and cryptographic fundamentals.
Application Period
Since 12 Feb 2026 to 25 Feb 2026
[Open soon]
Centre
High-Assurance Software