IBR Login
Bachelor-, Projekt- und Masterarbeiten: Verteilte Systeme
Folgende Bachelor-, Projekt- und Masterarbeiten werden derzeit von der Arbeitsgruppe Verteilte Systeme angeboten. In aller Regel können Bachelorarbeiten auch als Projektarbeiten und umgekehrt behandelt werden. Sollte kein geeignetes Thema dabei sein, meldet euch einfach direkt bei einem von uns. In der Regel gibt es noch weitere offene Themen.
Offene Arbeiten:
| Titel | Art | Betreuer | Status |
|---|---|---|---|
| Design and Implementation of a Byzantine Agreement Framework for Comparison of Scalability Approaches in Rust | Bachelorarbeit, Masterarbeit, Projektarbeit | Signe Rüsch | offen |
| Implementing C variant enclaves in a rust-based BFT framework | Bachelorarbeit, Projektarbeit | Ines Messadi | offen |
| Implementing the ByzCoin Agreement Protocol in a Rust-Based BFT Framework | Bachelorarbeit | Signe Rüsch | offen |
| Parallelisierung des Einigungsprotokolls in einem Rust-basierten BFT-Framework | Masterarbeit | Kai Bleeke | offen |
| Shared Memory Kommunikation zwischen Abgesicherten Virtuellen Maschinen | Masterarbeit | Mohammad Mahhouk | offen |
| Eignung der Programmiersprache Rust für Bahnanwendungen | Masterarbeit, Projektarbeit | David Goltzsche | offen |
Unter http://www.ibr.cs.tu-bs.de/kb/arbeiten.html finden Studentinnen und Studenten, die eine Arbeit am Institut anzufertigen haben, einige Hinweise zur Gestaltung der schriftlichen Ausarbeitung.
Laufende Arbeiten:
| Titel | Art | Betreuer | Status |
|---|---|---|---|
| Implementierung und Vergleich von austauschbaren Binärformaten für Netzwerknachrichten in einem Rust-basierten BFT-Framework | Bachelorarbeit, Projektarbeit | Kai Bleeke | vorläufig |
| Verlässliche Nachrichtenübertragung in einem Rust-basierten BFT-Framework | Bachelorarbeit, Projektarbeit | Kai Bleeke | vorläufig |
| Erweiterung des SGXoMeter-Frameworks um Unterstützung für Vielfältige SGX-Basierte Anwendungen | Bachelorarbeit | Mohammad Mahhouk | laufend |
| Integrating BFT framework into Hyperledger Fabric | Bachelorarbeit, Projektarbeit | Ines Messadi | vorläufig |
| Implementierung des Einigungsprotokolls Hotstuff in einem Rust-basierten BFT-Framework | Bachelorarbeit | Kai Bleeke | laufend |
| Interfunktionsfähigkeit zwischen Heterogenen und Verteilten Modulen in WebAssembly | Masterarbeit | Mohammad Mahhouk | laufend |
| Formal Verification of a Byzantine Agreement Protocol | Masterarbeit | Signe Rüsch | laufend |
| Increasing BFT resilience using multiple Trusted Execution Environments | Masterarbeit | Ines Messadi | laufend |
| Building Agreement protocols with RDMA and SGX in Rust | Bachelorarbeit, Masterarbeit, Projektarbeit | Ines Messadi | vorläufig |
Abgeschlossene Arbeiten:
| Titel | Art | Betreuer | Status |
|---|---|---|---|
| Integration und Abhärtung des Paxos Protokolls in Memcached++ | Bachelorarbeit | Arthur Martens | abgeschlossen |
| Fehlertoleranz Analyse mittels Fehlerinjektion - Fallstudie und Vergleich von Werkzeugen | Bachelorarbeit | Arthur Martens | abgeschlossen |
| Portierung mehrfädiger Anwendungen nach eCos RTOS | Bachelorarbeit | Arthur Martens | abgeschlossen |
| Design und Implementierung eines ZooKeeper Privacy Proxys | Bachelorarbeit | Dr. Stefan Brenner | abgeschlossen |
| Aspektorientierte Implementierung einer Objektwiederherstellung für replizierte Anwendungen | Bachelorarbeit | Arthur Martens | abgeschlossen |
| Storyboard v2.0: API-Design für ein Determinismus-Framework | Bachelorarbeit | Arthur Martens | abgeschlossen |
| Visualization of Magnetic Tracer Measurements | Bachelorarbeit | Björn Cassens | abgeschlossen |
| System Support for Instant On/Off Switching Utilizing NVRAM | Bachelorarbeit | Björn Cassens | abgeschlossen |
| Erweiterung der Typunterstützung innerhalb des SEEP-Frameworks um Datenstrukturen | Bachelorarbeit | Björn Cassens | abgeschlossen |
| Abhärtung von persistenten Heap-Speicher mit Hilfe von Transaktionen | Bachelorarbeit | Arthur Martens | abgeschlossen |
| Smart service state partitioning in BFT | Bachelorarbeit | Bijun Li, Wenbo Xu | abgeschlossen |
| Visualization of Memory Access Patterns | Bachelorarbeit | Björn Cassens | abgeschlossen |
| Implementation of Simulation Markers in Gem5 | Bachelorarbeit | Björn Cassens | abgeschlossen |
| Anwendungspartitionierung und vertrauenswürdige Ausführung auf Intel SGX | Bachelorarbeit | Dr. Stefan Brenner | abgeschlossen |
| Sichere Ausführung von Vert.X Mikro-Services | Bachelorarbeit | Dr. Stefan Brenner | abgeschlossen |
| Aufbau zur Untersuchung der Einflüsse durch die Nutzung unterschiedlicher Speicher Technologien | Bachelorarbeit | Björn Cassens | abgeschlossen |
| Byzantine agreement service on distributed embedded systems | Bachelorarbeit, Masterarbeit, Projektarbeit | Wenbo Xu | abgeschlossen |
| Implementierung eines Linux Treibers für die Verwaltung von persistenten Speicher | Bachelorarbeit | Arthur Martens | abgeschlossen |
| Implementierung einer Speicherallokation für nichtflüchtigen RAM | Bachelorarbeit | Arthur Martens | abgeschlossen |
| Implementierung von robusten, atomaren Datenstrukturen in einem Linux-Kernel-Modul | Bachelorarbeit | Arthur Martens | abgeschlossen |
| Browser-Integration einer gehärteten JavaScript Umgebung | Bachelorarbeit | David Goltzsche | abgeschlossen |
| Aspect!FI: AspectC++ Induced Fault Injection | Bachelorarbeit | Arthur Martens | abgeschlossen |
| Machine Learning inside SGX enclaves | Bachelorarbeit | David Goltzsche | abgeschlossen |
| Improve Dynamic State Partitioning in Parallel BFT Systems | Bachelorarbeit | Bijun Li | abgeschlossen |
| Web-CMS Migration | Bachelorarbeit | David Goltzsche | abgeschlossen |
| Entwicklung bzw. Portierung einer vertrauenswürdigen Webanwendung | Bachelorarbeit | David Goltzsche | abgeschlossen |
| Evaluation von WebAssembly Instruktionen | Bachelorarbeit | David Goltzsche | abgeschlossen |
| Sammlung von Zeit- und Standortnachweisen auf Smartphones | Bachelorarbeit | Signe Rüsch | abgeschlossen |
| Low Latency Byzantine Agreement using RDMA | Bachelorarbeit | Signe Rüsch, Ines Messadi | abgeschlossen |
| Integrierung eines BFT-Konsensusprotokolls in Hyperledger Fabric | Bachelorarbeit | Signe Rüsch | abgeschlossen |
| A continuous integration approach to enable the sustainable development of a Byzantine fault-tolerant framework | Bachelorarbeit, Masterarbeit, Projektarbeit | Ines Messadi | abgeschlossen |
| Serverless Mobile Agents: The Best of Both Worlds | Bachelorarbeit | Manuel Nieke | abgeschlossen |
| Enabling peer-to-peer communication between cooperative trusted web applications | Bachelorarbeit | David Goltzsche | abgeschlossen |
| Design und Implementierung eines Ranglistensystems mit Gamification-Elementen | Bachelorarbeit | David Goltzsche, Signe Rüsch | abgeschlossen |
| Kernel as a Service - Custom tailored kernels for the cloud | Bachelorarbeit | Prof. Dr. Rüdiger Kapitza | begutachtet |
| Veränderbare Anwendungen in Intel SGX Enklaven | Bachelorarbeit | Nico Weichbrodt | begutachtet |
| Entwicklung eines Tools zur Performanzanalyse von SGX Enklaven. | Bachelorarbeit | Nico Weichbrodt, Arthur Martens | begutachtet |
| Untersützung für Intel SGX v2 im SGX SDK | Bachelorarbeit | Nico Weichbrodt | begutachtet |
| Developement of a comprehensive life-cycle approach of Research software | Bachelorarbeit, Masterarbeit, Projektarbeit | Ines Messadi | begutachtet |
| Skalierbarkeit von Chaincode-Anwendungen in der Hyperledger Fabric Blockchain | Bachelorarbeit, Projektarbeit | Signe Rüsch | |
| Analyse von Ortsdaten und Bewegungsprofilen | Bachelorarbeit, Projektarbeit | Signe Rüsch | |
| Datenzugriffsanalyse für Rust-Anwendungen | Bachelorarbeit | Manuel Nieke | begutachtet |
| Implementierung einer IoT-Anwendung zur Sicherheitsanalyse | Bachelorarbeit | Manuel Nieke | begutachtet |
| Integration einer Blockchain-Anwendung in die Social Media Plattform Twitter | Bachelorarbeit | Signe Rüsch | begutachtet |
| Design und Implementierung einer Blockchain für eingebettete Systeme innerhalb eines Zugs | Bachelorarbeit | Signe Rüsch, Ines Messadi | begutachtet |
| Sicherheitsorientierte Partitionierung von Anwendungen in Rust mit Intel SGX | Bachelorarbeit | Signe Rüsch | begutachtet |
| Automatisierte Partitionierung von Rust-Anwendungen | Bachelorarbeit | Manuel Nieke | begutachtet |
| Literaturanalyse zur Skalierbarkeit von BFT-Protokollen in Blockchains | Bachelorarbeit | Signe Rüsch | begutachtet |
| ARM TrustZone-based Byzantine Agreement | Bachelorarbeit, Masterarbeit, Projektarbeit | Ines Messadi, Signe Rüsch | begutachtet |
| Clientseitige Verifizierung von Entfernten Attestierungen in Webdiensten | Bachelorarbeit | David Goltzsche | begutachtet |
| Partitionierung der Ausführung der Systemaufrufe von WebAssembly-Anwendungen in AMD-SEV VMs | Bachelorarbeit | Mohammad Mahhouk | begutachtet |
| Datentransparenz und Rückverfolgung von Produkten in globalen Lieferketten durch Blockchain | Bachelorarbeit | Signe Rüsch, Maximilian Rolinck | abgeschlossen |
| Implementierung von symmetrischen kryptographischen Verfahren in einem Rust-basierten BFT-Framework | Bachelorarbeit | Kai Bleeke, Signe Rüsch | begutachtet |
| Implementing a Privacy-Preserving Contact Tracing Approach for Interactive Event Verification | Bachelorarbeit | Signe Rüsch | abgeschlossen |
| Implementing the Gosig Agreement Protocol in a Rust-Based BFT Framework | Bachelorarbeit | Signe Rüsch | abgeschlossen |
| Erweiterung von Apache ZooKeeper um eine adaptive Migrationsmöglichkeit auf Basis zeitgebundener Referenzen | Masterarbeit | Dr. Stefan Brenner | abgeschlossen |
| High availability for Openstack based IaaS clouds | Masterarbeit | Dr. Stefan Brenner | abgeschlossen |
| Sichere und effiziente Prozessreplikation auf einem System unter widrigen Bedingungen | Masterarbeit | Arthur Martens | abgeschlossen |
| Auf eigenen Beinen: Systematische Untersuchung von Kommunikationsansätzen für ein zukünftiges BFT-System | Masterarbeit | Johannes Behl | abgeschlossen |
| Auf der Suche nach einer MOM: Beurteilung bestehender nachrichtenorientierter Middlewares im Kontext eines zukünftigen BFT-Systems | Masterarbeit | Johannes Behl | abgeschlossen |
| CheapBFT: Hardware TCP/IP Integration for High Performance Applications | Masterarbeit | Björn Cassens | abgeschlossen |
| Providing system support for multi-threaded SGX-based services | Masterarbeit | Dr. Stefan Brenner | abgeschlossen |
| A Lightweight System for Data Leakage Detection in Cloud Computing | Masterarbeit | Prof. Dr. Rüdiger Kapitza | abgeschlossen |
| Integrated Tool Support for Energy-Aware Programming | Masterarbeit | Prof. Dr. Rüdiger Kapitza | abgeschlossen |
| Linux Kernel Attack Surface Reduction Measurement | Masterarbeit | Prof. Dr. Rüdiger Kapitza | abgeschlossen |
| Pervasive Profile-Based Energy Analysis of a Sensor Node Operating System | Masterarbeit | Prof. Dr. Rüdiger Kapitza | abgeschlossen |
| A Multi-leader Approach of Byzantine Fault Tolerance | Masterarbeit | Bijun Li | abgeschlossen |
| Remote Attestation in a multi-tenant and TrustZone-protected cloud | Masterarbeit | Dr. Stefan Brenner | abgeschlossen |
| Neuartige Analyse von Netzwerktraffic mit Intel SGX | Masterarbeit | David Goltzsche | abgeschlossen |
| Design and implementation of trusted applications applying the ARM TrustZone hardware extensions | Masterarbeit | Dr. Stefan Brenner | abgeschlossen |
| Ein Angriff auf TESLA-gesicherte Zeitsynchronisationsprotokolle | Masterarbeit | David Goltzsche | abgeschlossen |
| Absicherung eines JavaScript Interpreters mit Intel SGX | Masterarbeit | David Goltzsche | abgeschlossen |
| Entwicklung einer byzantinisch fehlertolerant replizierten Datenbank für Mehrkernumgebungen | Masterarbeit | Johannes Behl | abgeschlossen |
| Umsetzung einer konsensusorientierten Parallelisierung für Mehrkernumgebungen am Beispiele von Apache ZooKeeper | Masterarbeit | Johannes Behl | abgeschlossen |
| Development of a Memory Controller in Gem5 | Masterarbeit | Björn Cassens | abgeschlossen |
| Automated Deployment and Evaluation of BFT Systems Using a Metal-as-a-Service Cloud | Masterarbeit | Bijun Li | abgeschlossen |
| Charakterisierung und Entwicklung eines Benchmarks zur Evaluierung aktueller Blockchains | Masterarbeit | Signe Rüsch | abgeschlossen |
| Fault-Injection-Based Assessment of Fault Tolerance Measures with FAIL* | Masterarbeit | Arthur Martens | abgeschlossen |
| Leistungs- und Skalierungsoptimierung von DeNoVo-Malloc durch Hardwarebeschleunigung und gezielte Codeanpassung an transaktionalen Speicher | Masterarbeit | Arthur Martens | abgeschlossen |
| Automated Deployment and Evaluation of Fault Tolerant Systems Using a Metal-as-a-Service Cloud | Masterarbeit | Bijun Li | abgeschlossen |
| Implementierung eines FPGA basierendes High-Speed Debugging Interfaces | Masterarbeit, Projektarbeit | Björn Cassens | abgeschlossen |
| Cloud-scale Trusted Execution on the ARM Juno Development Kit | Masterarbeit | Dr. Stefan Brenner | abgeschlossen |
| Vertrauenswürdige Speicherung von Ortsdaten in Blockchains | Masterarbeit | Signe Rüsch | abgeschlossen |
| Secure Volunteer Computing | Masterarbeit | David Goltzsche | abgeschlossen |
| Portierung einer minimalen Java Laufzeit-Umgebung auf eine Intel SGX Plattform | Masterarbeit | Nico Weichbrodt | begutachtet |
| Schnelle Inter-Enklaven Kommunikation mit Intel SGX | Masterarbeit | Nico Weichbrodt | begutachtet |
| FaaS in TrustJS | Masterarbeit | David Goltzsche | begutachtet |
| Entwicklung eines besseren Pagingalgorithmus für Intel SGX Enklaven | Masterarbeit | Nico Weichbrodt | begutachtet |
| A Web Framework for Partition Trusted Web Applications | Masterarbeit | David Goltzsche | begutachtet |
| Multi-Enclave BFT Protocols | Masterarbeit | Signe Rüsch, Ines Messadi | begutachtet |
| Development of a fast distributed Key-Value Store with Integrity verification | Masterarbeit | Ines Messadi | begutachtet |
| Verbesserung der Skalierbarkeit von BFT-Protokollen | Masterarbeit | Signe Rüsch | abgeschlossen |
| Continuous Code Re-Randomisation at Runtime for Intel SGX Enclaves | Masterarbeit | Nico Weichbrodt | begutachtet |
| Ein Framework für dynamische WebAssembly-Anwendungen | Masterarbeit | Manuel Nieke | begutachtet |
| FaaS Attestation | Masterarbeit | David Goltzsche | begutachtet |
| Design and Implementation of Byzantine Consensus with Bus Communication in Rust | Masterarbeit | Signe Rüsch | begutachtet |
| Verteidigung gegen Synchronisationsangriffe mit User-Level Threading | Masterarbeit | Manuel Nieke | abgeschlossen |
| Eine WebAssembly-basierte Umgebung zur flexiblen Transformation von OPC UA-Modellen | Masterarbeit | Prof. Dr. Rüdiger Kapitza | begutachtet |
| Entwicklung eines Frameworks zur Verteilung von partitionierten WebAssembly-Anwendungen auf AMD-SEV VMs | Masterarbeit | Mohammad Mahhouk, Manuel Nieke | begutachtet |
| Live-Migration für Abgesicherte Mobile Agenten | Masterarbeit | Manuel Nieke | abgeschlossen |
| Absicherung einer Plattform für Mobile Agenten mit Keystone | Masterarbeit | Manuel Nieke | begutachtet |
| Entwicklung eines Frameworks zur Evaluation von verteilten Systemen | Projektarbeit | Johannes Behl | abgeschlossen |
| Konzeption und Implementierung eines Frameworks für befehlszeilengesteuerte Anwendungen in Python | Projektarbeit | Johannes Behl | abgeschlossen |
| Vertrauenswürdige Ausführung von map und reduce in Hadoop MapReduce | Projektarbeit | Dr. Stefan Brenner | abgeschlossen |
| Verschlüsselte Datenspeicherung und Schlüsselwortsuche in Hadoop MapReduce | Projektarbeit | Dr. Stefan Brenner | abgeschlossen |
| Porting the TrApps Framework to the ARM Juno Development Board | Projektarbeit | Dr. Stefan Brenner | abgeschlossen |
| Vertrauenswürdige Docker Anwendungen in OpenStack | Projektarbeit | Dr. Stefan Brenner | abgeschlossen |
| Dynamic state partitioning in Byzantine Fault Tolerance system | Projektarbeit | Bijun Li, Wenbo Xu | abgeschlossen |
| Sprachunterstützte Partitionierung von vertrauenswürdigen Webanwendungen | Projektarbeit | David Goltzsche | abgeschlossen |
| Vertrauenswürdige Aufzeichnung von Mediendaten mit Blockchains | Projektarbeit | Signe Rüsch | abgeschlossen |
| Implementierung einer FPGA basierenden Datenakquisition | Bachelorarbeit, Masterarbeit, Projektarbeit | Björn Cassens | abgebrochen |
| Implementierung und Evaluation eines generischen Proxies für vertrauenswürdige Webanwendungen | Projektarbeit | David Goltzsche | begutachtet |
| Entwicklung einer SGX Benchmark-Suite | Projektarbeit | Nico Weichbrodt | begutachtet |
| Protecting the Click Modular Router with Intel SGX | Projektarbeit | David Goltzsche | begutachtet |
| Absicherung einer Plattform für Mobile Agenten | Projektarbeit | Manuel Nieke | begutachtet |
| FaaS Attestation | Projektarbeit | David Goltzsche | begutachtet |
| Extending Rust-WebAssembly Support for Multithreading and Networking | Projektarbeit | Mohammad Mahhouk, Ines Messadi | begutachtet |
| Implementation of a Byzantine Agreement Scheme in Rust | Projektarbeit | Signe Rüsch | abgeschlossen |
| Automatic Application Partitioning for Trusted Execution | Teamprojektarbeit | Dr. Stefan Brenner | abgeschlossen |
| Private Websuche mit Intel SGX | Teamprojektarbeit | Dr. Stefan Brenner | abgeschlossen |
| Demonstrator for Consensus Protocols in Wireless Ad-Hoc Networks | Teamprojektarbeit | Martin Wegner, Wenbo Xu | abgeschlossen |