| Title | Type | Supervisor | Status |
|---|
| Integration und Abhärtung des Paxos Protokolls in Memcached++ | Bachelor Thesis | Arthur Martens | finished |
| Fehlertoleranz Analyse mittels Fehlerinjektion - Fallstudie und Vergleich von Werkzeugen | Bachelor Thesis | Arthur Martens | finished |
| Portierung mehrfädiger Anwendungen nach eCos RTOS | Bachelor Thesis | Arthur Martens | finished |
| Design und Implementierung eines ZooKeeper Privacy Proxys | Bachelor Thesis | Dr. Stefan Brenner | finished |
| Aspektorientierte Implementierung einer Objektwiederherstellung für replizierte Anwendungen | Bachelor Thesis | Arthur Martens | finished |
| Storyboard v2.0: API-Design für ein Determinismus-Framework | Bachelor Thesis | Arthur Martens | finished |
| Visualization of Magnetic Tracer Measurements | Bachelor Thesis | Björn Cassens | finished |
| System Support for Instant On/Off Switching Utilizing NVRAM | Bachelor Thesis | Björn Cassens | finished |
| Erweiterung der Typunterstützung innerhalb des SEEP-Frameworks um Datenstrukturen | Bachelor Thesis | Björn Cassens | finished |
| Abhärtung von persistenten Heap-Speicher mit Hilfe von Transaktionen | Bachelor Thesis | Arthur Martens | finished |
| Smart service state partitioning in BFT | Bachelor Thesis | Bijun Li, Wenbo Xu | finished |
| Visualization of Memory Access Patterns | Bachelor Thesis | Björn Cassens | finished |
| Implementation of Simulation Markers in Gem5 | Bachelor Thesis | Björn Cassens | finished |
| Anwendungspartitionierung und vertrauenswürdige Ausführung auf Intel SGX | Bachelor Thesis | Dr. Stefan Brenner | finished |
| Sichere Ausführung von Vert.X Mikro-Services | Bachelor Thesis | Dr. Stefan Brenner | finished |
| Aufbau zur Untersuchung der Einflüsse durch die Nutzung unterschiedlicher Speicher Technologien | Bachelor Thesis | Björn Cassens | finished |
| Byzantine agreement service on distributed embedded systems | Bachelor Thesis, Master Thesis, Project Thesis | Wenbo Xu | finished |
| Implementierung eines Linux Treibers für die Verwaltung von persistenten Speicher | Bachelor Thesis | Arthur Martens | finished |
| Implementierung einer Speicherallokation für nichtflüchtigen RAM | Bachelor Thesis | Arthur Martens | finished |
| Implementierung von robusten, atomaren Datenstrukturen in einem Linux-Kernel-Modul | Bachelor Thesis | Arthur Martens | finished |
| Browser-Integration einer gehärteten JavaScript Umgebung | Bachelor Thesis | David Goltzsche | finished |
| Aspect!FI: AspectC++ Induced Fault Injection | Bachelor Thesis | Arthur Martens | finished |
| Machine Learning inside SGX enclaves | Bachelor Thesis | David Goltzsche | finished |
| Improve Dynamic State Partitioning in Parallel BFT Systems | Bachelor Thesis | Bijun Li | finished |
| Web-CMS Migration | Bachelor Thesis | David Goltzsche | finished |
| Entwicklung bzw. Portierung einer vertrauenswürdigen Webanwendung | Bachelor Thesis | David Goltzsche | finished |
| Evaluation von WebAssembly Instruktionen | Bachelor Thesis | David Goltzsche | finished |
| Sammlung von Zeit- und Standortnachweisen auf Smartphones, Collecting Time and Location Evidence on Smartphones | Bachelor Thesis | Signe Rüsch | finished |
| Low Latency Byzantine Agreement using RDMA, Low Latency Byzantine Agreement using RDMA | Bachelor Thesis | Signe Rüsch, Ines Messadi | finished |
| Integrierung eines BFT-Konsensusprotokolls in Hyperledger Fabric, Integration of a BFT consensus protocol in Hyperledger Fabric | Bachelor Thesis | Signe Rüsch | finished |
| A continuous integration approach to enable the sustainable development of a Byzantine fault-tolerant framework | Bachelor Thesis, Master Thesis, Project Thesis | Ines Messadi | finished |
| Serverless Mobile Agents: The Best of Both Worlds, Serverless Mobile Agents: Das Beste beider Welten | Bachelor Thesis | Manuel Nieke | finished |
| Enabling peer-to-peer communication
between cooperative trusted web applications | Bachelor Thesis | David Goltzsche | finished |
| Design und Implementierung eines Ranglistensystems mit Gamification-Elementen, Design and Implementation of a Ranking System with Gamification Elements | Bachelor Thesis | David Goltzsche, Signe Rüsch | finished |
| Kernel as a Service - Custom tailored kernels for the cloud | Bachelor Thesis | Prof. Dr. Rüdiger Kapitza | examined |
| Veränderbare Anwendungen in Intel SGX Enklaven, Pluggable Applications in Intel SGX Enclaves | Bachelor Thesis | Nico Weichbrodt | examined |
| Entwicklung eines Tools zur Performanzanalyse von SGX Enklaven., Development of a SGX Enclave Performance Analysis Tool | Bachelor Thesis | Nico Weichbrodt, Arthur Martens | examined |
| Untersützung für Intel SGX v2 im SGX SDK, Support for Intel SGX v2 in the SGX SDK | Bachelor Thesis | Nico Weichbrodt | examined |
| Developement of a comprehensive life-cycle approach of Research software | Bachelor Thesis, Master Thesis, Project Thesis | Ines Messadi | examined |
| Skalierbarkeit von Chaincode-Anwendungen in der Hyperledger Fabric Blockchain, Scalability of Chaincode Applications in the Hyperledger Fabric Blockchain | Bachelor Thesis, Project Thesis | Signe Rüsch | |
| Analyse von Ortsdaten und Bewegungsprofilen, Data Analysis of Location Traces | Bachelor Thesis, Project Thesis | Signe Rüsch | |
| Datenzugriffsanalyse für Rust-Anwendungen | Bachelor Thesis | Manuel Nieke | examined |
| Implementierung einer IoT-Anwendung zur Sicherheitsanalyse, Implementation of an IoT Application for Security Analysis | Bachelor Thesis | Manuel Nieke | examined |
| Integration einer Blockchain-Anwendung in die Social Media Plattform Twitter, Integrating a Blockchain Application into the Social Media Platform Twitter | Bachelor Thesis | Signe Rüsch | examined |
| Design und Implementierung einer Blockchain für eingebettete Systeme innerhalb eines Zugs, Design and Implementation of an Embedded Blockchain in Train Systems | Bachelor Thesis | Signe Rüsch, Ines Messadi | examined |
| Sicherheitsorientierte Partitionierung von Anwendungen in Rust mit Intel SGX, Security-Aware Application Partitioning in Rust Using Intel SGX | Bachelor Thesis | Signe Rüsch | examined |
| Automatisierte Partitionierung von Rust-Anwendungen, Automated Partitioning for Rust Applications | Bachelor Thesis | Manuel Nieke | examined |
| ARM TrustZone-based Byzantine Agreement | Bachelor Thesis, Master Thesis, Project Thesis | Ines Messadi, Signe Rüsch | finished |
| Partitionierung der Ausführung der Systemaufrufe von WebAssembly-Anwendungen in AMD-SEV VMs, Partitioning System-Calls Execution of WebAssembly-Applications Running on AMD-SEV VMs | Bachelor Thesis | Mohammad Mahhouk | finished |
| Literaturanalyse zur Skalierbarkeit von BFT-Protokollen in Blockchains, Literature Analysis of BFT Protocol Scalability in Blockchains | Bachelor Thesis | Signe Rüsch | finished |
| Erweiterung von Apache ZooKeeper um eine adaptive Migrationsmöglichkeit auf Basis zeitgebundener Referenzen | Master Thesis | Dr. Stefan Brenner | finished |
| High availability for Openstack based IaaS clouds | Master Thesis | Dr. Stefan Brenner | finished |
| Sichere und effiziente Prozessreplikation auf einem System unter widrigen Bedingungen | Master Thesis | Arthur Martens | finished |
| Auf eigenen Beinen: Systematische Untersuchung von Kommunikationsansätzen für ein zukünftiges BFT-System, Standing on Own Feet: Systematic Analysis of Communication Approaches for a Next-Generation BFT System | Master Thesis | Johannes Behl | finished |
| Auf der Suche nach einer MOM: Beurteilung bestehender nachrichtenorientierter Middlewares im Kontext eines zukünftigen BFT-Systems, Looking for a MOM: Assessing Existing Message-Oriented Middlewares in the Context of a Next-Generation BFT System | Master Thesis | Johannes Behl | finished |
| CheapBFT: Hardware TCP/IP Integration for High Performance Applications | Master Thesis | Björn Cassens | finished |
| Providing system support for multi-threaded SGX-based services | Master Thesis | Dr. Stefan Brenner | finished |
| A Lightweight System for Data Leakage Detection in Cloud Computing | Master Thesis | Prof. Dr. Rüdiger Kapitza | finished |
| Integrated Tool Support for Energy-Aware Programming | Master Thesis | Prof. Dr. Rüdiger Kapitza | finished |
| Linux Kernel Attack Surface Reduction Measurement | Master Thesis | Prof. Dr. Rüdiger Kapitza | finished |
| Pervasive Profile-Based Energy Analysis of a Sensor Node Operating System | Master Thesis | Prof. Dr. Rüdiger Kapitza | finished |
| A Multi-leader Approach of Byzantine Fault Tolerance | Master Thesis | Bijun Li | finished |
| Remote Attestation in a multi-tenant and TrustZone-protected cloud | Master Thesis | Dr. Stefan Brenner | finished |
| Neuartige Analyse von Netzwerktraffic mit Intel SGX, Novel Network Traffic Analysis using Intel SGX | Master Thesis | David Goltzsche | finished |
| Design and implementation of trusted applications applying the ARM TrustZone hardware extensions | Master Thesis | Dr. Stefan Brenner | finished |
| Ein Angriff auf TESLA-gesicherte Zeitsynchronisationsprotokolle | Master Thesis | David Goltzsche | finished |
| Absicherung eines JavaScript Interpreters mit Intel SGX | Master Thesis | David Goltzsche | finished |
| Entwicklung einer byzantinisch fehlertolerant replizierten Datenbank für Mehrkernumgebungen, Development of a Byzantine Fault-Tolerant Replicated Database for Multi-Core Environments | Master Thesis | Johannes Behl | finished |
| Umsetzung einer konsensusorientierten Parallelisierung für Mehrkernumgebungen am Beispiele von Apache ZooKeeper, Realisation of a Consensus-Oriented Parallelisation for Multi-Core Environments using Apache ZooKeeper | Master Thesis | Johannes Behl | finished |
| Development of a Memory Controller in Gem5 | Master Thesis | Björn Cassens | finished |
| Automated Deployment and Evaluation of BFT Systems Using a Metal-as-a-Service Cloud | Master Thesis | Bijun Li | finished |
| Charakterisierung und Entwicklung eines Benchmarks zur Evaluierung aktueller Blockchains, Characterization and Benchmarking of Current Blockchains | Master Thesis | Signe Rüsch | finished |
| Fault-Injection-Based Assessment of Fault Tolerance Measures with FAIL* | Master Thesis | Arthur Martens | finished |
| Leistungs- und Skalierungsoptimierung von DeNoVo-Malloc durch Hardwarebeschleunigung und gezielte Codeanpassung an transaktionalen Speicher | Master Thesis | Arthur Martens | finished |
| Automated Deployment and Evaluation of Fault Tolerant Systems Using a Metal-as-a-Service Cloud | Master Thesis | Bijun Li | finished |
| Implementierung eines FPGA basierendes High-Speed Debugging Interfaces | Master Thesis, Project Thesis | Björn Cassens | finished |
| Cloud-scale Trusted Execution on the ARM Juno Development Kit | Master Thesis | Dr. Stefan Brenner | finished |
| Vertrauenswürdige Speicherung von Ortsdaten in Blockchains, Trusted Location Traces in Blockchains | Master Thesis | Signe Rüsch | finished |
| Secure Volunteer Computing | Master Thesis | David Goltzsche | finished |
| Portierung einer minimalen Java Laufzeit-Umgebung auf eine Intel SGX Plattform, Porting a minimal Java Runtime Environment to an Intel SGX Platform | Master Thesis | Nico Weichbrodt | examined |
| Schnelle Inter-Enklaven Kommunikation mit Intel SGX, Fast Inter-Enclave Communication with Intel SGX | Master Thesis | Nico Weichbrodt | examined |
| FaaS in TrustJS | Master Thesis | David Goltzsche | examined |
| Entwicklung eines besseren Pagingalgorithmus für Intel SGX Enklaven, Development of a better paging algorithm for Intel SGX enclaves | Master Thesis | Nico Weichbrodt | examined |
| A Web Framework for Partition Trusted Web Applications | Master Thesis | David Goltzsche | examined |
| Multi-Enclave BFT Protocols, Multi-Enclave BFT Protocols | Master Thesis | Signe Rüsch, Ines Messadi | examined |
| Development of a fast distributed Key-Value Store with
Integrity verification | Master Thesis | Ines Messadi | examined |
| Verbesserung der Skalierbarkeit von BFT-Protokollen, Improving the Scalability of BFT Protocols | Master Thesis | Signe Rüsch | finished |
| Continuous Code Re-Randomisation at Runtime for Intel SGX Enclaves, Continuous Code Re-Randomisation at Runtime for Intel SGX Enclaves | Master Thesis | Nico Weichbrodt | examined |
| Design und Implementierung eines Byzantinischen Einigungsprotokolls mit Bus-Kommunikation in Rust, Design and Implementation of Byzantine Consensus with Bus Communication in Rust | Master Thesis | Signe Rüsch | finished |
| Ein Framework für dynamische WebAssembly-Anwendungen, A Framework for Dynamic WebAssembly Applications | Master Thesis | Manuel Nieke | examined |
| FaaS Attestation | Master Thesis | David Goltzsche | examined |
| Entwicklung eines Frameworks zur Evaluation von verteilten Systemen, Development of a Framework for the Evaluation of Distributed Systems | Project Thesis | Johannes Behl | finished |
| Konzeption und Implementierung eines Frameworks für befehlszeilengesteuerte Anwendungen in Python, Design and Implementation of a Framework for Command-line-Interface Applications in Python | Project Thesis | Johannes Behl | finished |
| Vertrauenswürdige Ausführung von map und reduce in Hadoop MapReduce | Project Thesis | Dr. Stefan Brenner | finished |
| Verschlüsselte Datenspeicherung und Schlüsselwortsuche in Hadoop MapReduce | Project Thesis | Dr. Stefan Brenner | finished |
| Porting the TrApps Framework to the ARM Juno Development Board | Project Thesis | Dr. Stefan Brenner | finished |
| Vertrauenswürdige Docker Anwendungen in OpenStack | Project Thesis | Dr. Stefan Brenner | finished |
| Dynamic state partitioning in Byzantine Fault Tolerance system | Project Thesis | Bijun Li, Wenbo Xu | finished |
| Sprachunterstützte Partitionierung von vertrauenswürdigen Webanwendungen | Project Thesis | David Goltzsche | finished |
| Vertrauenswürdige Aufzeichnung von Mediendaten mit Blockchains, Trustworthy Recording of Media Files using Blockchains | Project Thesis | Signe Rüsch | finished |
| Implementierung einer FPGA basierenden Datenakquisition | Bachelor Thesis, Master Thesis, Project Thesis | Björn Cassens | cancelled |
| Implementierung und Evaluation eines generischen Proxies für vertrauenswürdige Webanwendungen | Project Thesis | David Goltzsche | examined |
| Entwicklung einer SGX Benchmark-Suite, Development of an SGX-aware Benchmarking Suite | Project Thesis | Nico Weichbrodt | examined |
| Protecting the Click Modular Router with Intel SGX | Project Thesis | David Goltzsche | examined |
| Absicherung einer Plattform für Mobile Agenten, Securing a Mobile Agents Platform | Project Thesis | Manuel Nieke | examined |
| FaaS Attestation | Project Thesis | David Goltzsche | examined |
| Implementation of a Byzantine Agreement Scheme in Rust | Project Thesis | Signe Rüsch | finished |
| Extending Rust-WebAssembly Support for Multithreading and Networking | Project Thesis | Mohammad Mahhouk, Ines Messadi | finished |
| Automatic Application Partitioning for Trusted Execution | Team Project Thesis | Dr. Stefan Brenner | finished |
| Private Websuche mit Intel SGX | Team Project Thesis | Dr. Stefan Brenner | finished |
| Demonstrator for Consensus Protocols in Wireless Ad-Hoc Networks | Team Project Thesis | Martin Wegner, Wenbo Xu | finished |
