| Carl Friedrich Gauß Faculty | Department of Computer Science

Building Agreement protocols with RDMA and SGX in Rust

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

Problem statement

Byzantine-fault tolerant (BFT) protocols allow mitigating a wide range of failures, thereby ensuring the availability and resiliency of a system. Yet, such protocols are considered costly in terms of message complexity and resource usage. With the availability of Remote Direct Memory Access (RDMA) in data centers, this communication overhead can be reduced. RDMA proved to be a compelling solution, but utilizing it as a core technology can be challenging as well as brings vulnerabilities in a BFT setup. The goal of this topic is to identify RDMA features that can benefit a byzantine agreement while analyzing the security vulnerabilities that it might include. For this, a solution using trusted execution environments such as Intel SGX has to be explored to increase agreement resiliency. More details are provided in a coordinated meeting.


  • Basic knowledge of Linux systems as we work with SGX exclusively on Linux
  • Basic knowledge of the rust programming language


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

last changed 2020-07-09, 15:53 by Ines Messadi