| Carl Friedrich Gauß Faculty | Department of Computer Science

Development of a fast distributed Key-Value Store with Integrity verification

Student(anonymous, Login required)
SupervisorInes Messadi
ProfessorProf. Dr. Rüdiger Kapitza
IBR GroupDS (Prof. Kapitza)
TypeMaster Thesis
Deadline(anonymous, Login required)

Problem statement

Integrity-verification and Remote Direct Memory Access(RDMA)-based key-value stores are a well-studied problem. However, none has leveraged the combination of the zero-copy networking techonogly RDMA, and the integrity guarantees of Software Guard Extensions(SGX). This is mainly due to the reason that RDMA contradicts the concept of the memory protection offered by the SGX enclaves, as DMA accesses are not allowed, and thus copying data in/out of enclaves cannot be avoided. Thus, one should think about how to smarlty combine the properties of these two technogloies to reduce the overhead of data copying, and enable a high-performance read-heavy workloads.

Task description

In this thesis, an integrity-verfication key-value store has to be developed. The main task is to tailor a design combining RDMA and SGX reducing the overhead of data-copying. On the other hand, CRDT data types will be explored as a way to replicate and update data between nodes.


  • Basic knowledge of Linux systems as we work with SGX exclusively on Linux
  • Good knowledge of C/C++


[0] https://01.org/intel-softwareguard-extensions
[1] https://software.intel.com/en-us/blogs/2013/09/26/protecting-application-secrets-with-intel-sgx
[2] https://software.intel.com/sites/default/files/managed/48/88/329298-002.pdf

last changed 2020-04-09, 13:54 by Ines Messadi