| 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 | Dr. Björn Cassens | abgeschlossen |
| System Support for Instant On/Off Switching Utilizing NVRAM | Bachelorarbeit | Dr. Björn Cassens | abgeschlossen |
| Erweiterung der Typunterstützung innerhalb des SEEP-Frameworks um Datenstrukturen | Bachelorarbeit | Dr. Björn Cassens | abgeschlossen |
| Abhärtung von persistenten Heap-Speicher mit Hilfe von Transaktionen | Bachelorarbeit | Arthur Martens | abgeschlossen ~2016 |
| Smart service state partitioning in BFT | Bachelorarbeit | Dr. Bijun Li, Wenbo Xu | abgeschlossen |
| Visualization of Memory Access Patterns | Bachelorarbeit | Dr. Björn Cassens | abgeschlossen |
| Implementation of Simulation Markers in Gem5 | Bachelorarbeit | Dr. 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 | Dr. 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 ~2017 |
| Browser-Integration einer gehärteten JavaScript Umgebung | Bachelorarbeit | Dr. David Goltzsche | abgeschlossen |
| Aspect!FI: AspectC++ Induced Fault Injection | Bachelorarbeit | Arthur Martens | abgeschlossen ~2018 |
| Machine Learning inside SGX enclaves | Bachelorarbeit | Dr. David Goltzsche | abgeschlossen |
| Improve Dynamic State Partitioning in Parallel BFT Systems | Bachelorarbeit | Dr. Bijun Li | abgeschlossen |
| Web-CMS Migration | Bachelorarbeit | Dr. David Goltzsche | abgeschlossen |
| Entwicklung bzw. Portierung einer vertrauenswürdigen Webanwendung | Bachelorarbeit | Dr. David Goltzsche | abgeschlossen |
| Evaluation von WebAssembly Instruktionen | Bachelorarbeit | Dr. 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 | Dr. David Goltzsche | abgeschlossen |
| Design und Implementierung eines Ranglistensystems mit Gamification-Elementen, ... | Bachelorarbeit | Dr. David Goltzsche, Signe Rüsch | abgeschlossen |
| Kernel as a Service - Custom tailored kernels for the cloud | Bachelorarbeit | Prof. Dr. Rüdiger Kapitza | abgeschlossen 2013 |
| Veränderbare Anwendungen in Intel SGX Enklaven, ... | Bachelorarbeit | Dr. Nico Weichbrodt | abgeschlossen |
| Entwicklung eines Tools zur Performanzanalyse von SGX Enklaven., ... | Bachelorarbeit | Dr. Nico Weichbrodt, Arthur Martens | abgeschlossen |
| Untersützung für Intel SGX v2 im SGX SDK, ... | Bachelorarbeit | Dr. Nico Weichbrodt | abgeschlossen |
| Developement of a comprehensive life-cycle approach of Research software | Bachelorarbeit, Masterarbeit, Projektarbeit | Ines Messadi | abgeschlossen ~2020 |
| 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 | abgeschlossen ~2020 |
| Implementierung einer IoT-Anwendung zur Sicherheitsanalyse, ... | Bachelorarbeit | Manuel Nieke | abgeschlossen ~2020 |
| Integration einer Blockchain-Anwendung in die Social Media Plattform Twitter, ... | Bachelorarbeit | Signe Rüsch | abgeschlossen ~2020 |
| Design und Implementierung einer Blockchain für eingebettete Systeme innerhalb eines Zugs, ... | Bachelorarbeit | Signe Rüsch, Ines Messadi | abgeschlossen ~2020 |
| Sicherheitsorientierte Partitionierung von Anwendungen in Rust mit Intel SGX, ... | Bachelorarbeit | Signe Rüsch | abgeschlossen ~2020 |
| Automatisierte Partitionierung von Rust-Anwendungen, ... | Bachelorarbeit | Manuel Nieke | abgeschlossen ~2020 |
| ARM TrustZone-based Byzantine Agreement | Bachelorarbeit, Masterarbeit, Projektarbeit | Ines Messadi, Signe Rüsch | abgeschlossen ~2021 |
| Clientseitige Verifizierung von Entfernten Attestierungen in Webdiensten | Bachelorarbeit | Dr. David Goltzsche | abgeschlossen ~2021 |
| Partitionierung der Ausführung der Systemaufrufe von WebAssembly-Anwendungen in AMD-SEV VMs, ... | Bachelorarbeit | Mohammad Mahhouk | abgeschlossen ~2021 |
| Implementierung von symmetrischen kryptographischen Verfahren in einem Rust-basierten BFT-Framework | Bachelorarbeit | Kai Bleeke, Signe Rüsch | abgeschlossen ~2021 |
| Implementing C variant enclaves in a rust-based BFT framework | Bachelorarbeit, Projektarbeit | Ines Messadi | abgeschlossen |
| Datentransparenz und Rückverfolgung von Produkten in globalen Lieferketten durch Blockchain | Bachelorarbeit | Signe Rüsch, Maximilian Rolinck | abgeschlossen ~2021 |
| Literaturanalyse zur Skalierbarkeit von BFT-Protokollen in Blockchains, ... | Bachelorarbeit | Signe Rüsch | abgeschlossen ~2021 |
| Implementing the Gosig Agreement Protocol in a Rust-Based BFT Framework | Bachelorarbeit | Signe Rüsch | abgeschlossen ~2021 |
| Implementing a Privacy-Preserving Contact Tracing Approach for Interactive Event Verification | Bachelorarbeit | Signe Rüsch | abgeschlossen ~2021 |
| Erweiterung des SGXoMeter-Frameworks um Unterstützung für Vielfältige SGX-Basierte Anwendungen, ... | Bachelorarbeit | Mohammad Mahhouk | abgeschlossen ~2021 |
| Integrating BFT framework into Hyperledger Fabric | Bachelorarbeit, Projektarbeit | Ines Messadi | abgeschlossen ~2022 |
| Implementing the Mir-BFT Agreement Protocol in a Rust-Based BFT Framework | Bachelorarbeit | Signe Rüsch | abgeschlossen ~2022 |
| Verlässliche Nachrichtenübertragung in einem Rust-basierten BFT-Framework | Bachelorarbeit, Projektarbeit | Kai Bleeke | abgeschlossen ~2021 |
| Implementierung des Einigungsprotokolls Hotstuff in einem Rust-basierten BFT-Framework | Bachelorarbeit | Kai Bleeke | abgeschlossen ~2021 |
| Implementierung und Vergleich von austauschbaren Binärformaten für Netzwerknachrichten in einem Rust-basierten BFT-Framework | Bachelorarbeit, Projektarbeit | Kai Bleeke | abgeschlossen ~2021 |
| Implementierung einer Baumstruktur für das formale Verifikationstool Ivy | Bachelorarbeit | Arne Vogel | abgeschlossen ~2022 |
| Keystone on the SiFive Unmatched | Bachelorarbeit | Kai Bleeke | 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 | Dr. 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 | Dr. 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 | Dr. 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 | Dr. David Goltzsche | abgeschlossen |
| Absicherung eines JavaScript Interpreters mit Intel SGX | Masterarbeit | Dr. 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 | Dr. Björn Cassens | abgeschlossen |
| Automated Deployment and Evaluation of BFT Systems Using a Metal-as-a-Service Cloud | Masterarbeit | Dr. 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 ~2018 |
| Leistungs- und Skalierungsoptimierung von DeNoVo-Malloc durch Hardwarebeschleunigung und gezielte Codeanpassung an transaktionalen Speicher | Masterarbeit | Arthur Martens | abgeschlossen ~2018 |
| Automated Deployment and Evaluation of Fault Tolerant Systems Using a Metal-as-a-Service Cloud | Masterarbeit | Dr. Bijun Li | abgeschlossen |
| Implementierung eines FPGA basierendes High-Speed Debugging Interfaces | Masterarbeit, Projektarbeit | Dr. 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 | Dr. David Goltzsche | abgeschlossen |
| Portierung einer minimalen Java Laufzeit-Umgebung auf eine Intel SGX Plattform, ... | Masterarbeit | Dr. Nico Weichbrodt | abgeschlossen |
| Schnelle Inter-Enklaven Kommunikation mit Intel SGX, ... | Masterarbeit | Dr. Nico Weichbrodt | abgeschlossen |
| FaaS in TrustJS | Masterarbeit | Dr. David Goltzsche | abgeschlossen ~2019 |
| Entwicklung eines besseren Pagingalgorithmus für Intel SGX Enklaven, ... | Masterarbeit | Dr. Nico Weichbrodt | abgeschlossen |
| A Web Framework for Partition Trusted Web Applications | Masterarbeit | Dr. David Goltzsche | abgeschlossen ~2020 |
| Multi-Enclave BFT Protocols, ... | Masterarbeit | Signe Rüsch, Ines Messadi | abgeschlossen ~2019 |
| Development of a fast distributed Key-Value Store with Integrity verification | Masterarbeit | Ines Messadi | abgeschlossen ~2020 |
| Verbesserung der Skalierbarkeit von BFT-Protokollen, ... | Masterarbeit | Signe Rüsch | abgeschlossen |
| Continuous Code Re-Randomisation at Runtime for Intel SGX Enclaves, ... | Masterarbeit | Dr. Nico Weichbrodt | abgeschlossen ~2020 |
| Ein Framework für dynamische WebAssembly-Anwendungen, ... | Masterarbeit | Manuel Nieke | abgeschlossen ~2020 |
| FaaS Attestation | Masterarbeit | Dr. David Goltzsche | abgeschlossen ~2020 |
| Design and Implementation of Byzantine Consensus with Bus Communication in Rust | Masterarbeit | Signe Rüsch | abgeschlossen ~2020 |
| Eine WebAssembly-basierte Umgebung zur flexiblen Transformation von OPC UA-Modellen, ... | Masterarbeit | Prof. Dr. Rüdiger Kapitza | abgeschlossen ~2021 |
| Entwicklung eines Frameworks zur Verteilung von partitionierten WebAssembly-Anwendungen auf AMD-SEV VMs, ... | Masterarbeit | Mohammad Mahhouk, Manuel Nieke | abgeschlossen ~2021 |
| Absicherung einer Plattform für Mobile Agenten mit Keystone, ... | Masterarbeit | Manuel Nieke | abgeschlossen ~2021 |
| Live-Migration für Abgesicherte Mobile Agenten | Masterarbeit | Manuel Nieke | abgeschlossen ~2021 |
| Verteidigung gegen Synchronisationsangriffe mit User-Level Threading, ... | Masterarbeit | Manuel Nieke | abgeschlossen ~2021 |
| Formal Verification of a Byzantine Agreement Protocol | Masterarbeit | Signe Rüsch | abgeschlossen ~2021 |
| Building Agreement protocols with RDMA in Rust | Bachelorarbeit, Masterarbeit, Projektarbeit | Ines Messadi | abgeschlossen |
| Increasing BFT resilience using multiple Trusted Execution Environments | Masterarbeit | Ines Messadi | abgeschlossen ~2021 |
| Interfunktionsfähigkeit zwischen Heterogenen und Verteilten Modulen in WebAssembly, ... | Masterarbeit | Mohammad Mahhouk | abgeschlossen ~2021 |
| 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 | Dr. Bijun Li, Wenbo Xu | abgeschlossen |
| Sprachunterstützte Partitionierung von vertrauenswürdigen Webanwendungen | Projektarbeit | Dr. David Goltzsche | abgeschlossen |
| Vertrauenswürdige Aufzeichnung von Mediendaten mit Blockchains, ... | Projektarbeit | Signe Rüsch | abgeschlossen |
| Implementierung einer FPGA basierenden Datenakquisition | Bachelorarbeit, Masterarbeit, Projektarbeit | Dr. Björn Cassens | abgebrochen |
| Implementierung und Evaluation eines generischen Proxies für vertrauenswürdige Webanwendungen | Projektarbeit | Dr. David Goltzsche | abgeschlossen |
| Entwicklung einer SGX Benchmark-Suite, ... | Projektarbeit | Dr. Nico Weichbrodt | abgeschlossen |
| Protecting the Click Modular Router with Intel SGX | Projektarbeit | Dr. David Goltzsche | abgeschlossen |
| Absicherung einer Plattform für Mobile Agenten, ... | Projektarbeit | Manuel Nieke | abgeschlossen ~2020 |
| FaaS Attestation | Projektarbeit | Dr. David Goltzsche | abgeschlossen ~2020 |
| Extending Rust-WebAssembly Support for Multithreading and Networking | Projektarbeit | Mohammad Mahhouk, Ines Messadi | abgeschlossen ~2021 |
| Implementation of a Byzantine Agreement Scheme in Rust | Projektarbeit | Signe Rüsch | abgeschlossen |
| Partitionierung eines TPC-W Benchmarks in mehreren WebAssembly Modulen , ... | Bachelorarbeit, Masterarbeit, Projektarbeit | Mohammad Mahhouk | |
| Inkrementelle E-Mail Sicherheit mittels Intel SGX , ... | Bachelorarbeit, Projektarbeit | Mohammad Mahhouk | |
| 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 ~2016 |
