Internet-based services play a central role in today's society. With such services progressively taking over from traditional infrastructures, their complexity steadily increases. On the downside, this leads to more and more faults occurring. As improving software-engineering techniques alone will not do the job, systems have to be prepared to tolerate faults and intrusions.
REFIT investigates how systems can provide fault and intrusion tolerance in a resource-efficient manner. The key technology to achieve this goal is virtualization, as it enables multiple service instances to run in isolation on the same physical host. Server consolidation through virtualization not only saves resources in comparison to traditional replication, but also opens up new possibilities to apply optimizations (e.g., deterministic multi-threading).
Resource efficiency and performance of the REFIT prototype are evaluated using a web-based multi-tier architecture, and the results are compared to non-replicated and traditionally-replicated scenarios. Furthermore, REFIT develops an infrastructure that supports the practical integration and operation of fault and intrusion-tolerant services; for example, in the context of cloud computing.
| Title | Type | Supervisor | Status |
|---|---|---|---|
| Multi-Enclave BFT Protocols, ... | Master Thesis | Signe Rüsch, Ines Messadi | finished ~2019 |
| Security-Aware Application Partitioning in Rust Using Intel SGX, ... | Bachelor Thesis | Signe Rüsch | finished ~2020 |
| Standing on Own Feet: Systematic Analysis of Communication Approaches for a Next-Generation BFT System, ... | Master Thesis | Johannes Behl | finished |
| Looking for a MOM: Assessing Existing Message-Oriented Middlewares in the Context of a Next-Generation BFT System, ... | Master Thesis | Johannes Behl | finished |
| Development of a Byzantine Fault-Tolerant Replicated Database for Multi-Core Environments, ... | Master Thesis | Johannes Behl | finished |
| Realisation of a Consensus-Oriented Parallelisation for Multi-Core Environments using Apache ZooKeeper, ... | Master Thesis | Johannes Behl | finished |
| Development of a Framework for the Evaluation of Distributed Systems, ... | Project Thesis | Johannes Behl | finished |
| Design and Implementation of a Framework for Command-line-Interface Applications in Python, ... | Project Thesis | Johannes Behl | finished |
| Implementation of a Byzantine Agreement Scheme in Rust | Project Thesis | Signe Rüsch | finished |
| Low Latency Byzantine Agreement using RDMA, ... | Bachelor Thesis | Signe Rüsch, Ines Messadi | finished |
If you are interested in writing a thesis regarding this project, please feel free to contact us.