Integration und Abhärtung des Paxos Protokolls in Memcached++

Fehlertoleranz Analyse mittels Fehlerinjektion - Fallstudie und Vergleich von Werkzeugen

Portierung mehrfädiger Anwendungen nach eCos RTOS

Design und Implementierung eines ZooKeeper Privacy Proxys

Aspektorientierte Implementierung einer Objektwiederherstellung für replizierte Anwendungen

Storyboard v2.0: API-Design für ein Determinismus-Framework

Visualization of Magnetic Tracer Measurements

System Support for Instant On/Off Switching Utilizing NVRAM

Erweiterung der Typunterstützung innerhalb des SEEP-Frameworks um Datenstrukturen

Abhärtung von persistenten Heap-Speicher mit Hilfe von Transaktionen

Smart service state partitioning in BFT

Visualization of Memory Access Patterns

Implementation of Simulation Markers in Gem5

Anwendungspartitionierung und vertrauenswürdige Ausführung auf Intel SGX

Sichere Ausführung von Vert.X Mikro-Services

Aufbau zur Untersuchung der Einflüsse durch die Nutzung unterschiedlicher Speicher Technologien

Byzantine agreement service on distributed embedded systems

Implementierung eines Linux Treibers für die Verwaltung von persistenten Speicher

Implementierung einer Speicherallokation für nichtflüchtigen RAM

Implementierung von robusten, atomaren Datenstrukturen in einem Linux-Kernel-Modul

Browser-Integration einer gehärteten JavaScript Umgebung

Aspect!FI: AspectC++ Induced Fault Injection

Machine Learning inside SGX enclaves

Improve Dynamic State Partitioning in Parallel BFT Systems

Web-CMS Migration

Entwicklung bzw. Portierung einer vertrauenswürdigen Webanwendung

Evaluation von WebAssembly Instruktionen

Sammlung von Zeit- und Standortnachweisen auf Smartphones

Low Latency Byzantine Agreement using RDMA

Integrierung eines BFT-Konsensusprotokolls in Hyperledger Fabric

A continuous integration approach to enable the sustainable development of a Byzantine fault-tolerant framework

Serverless Mobile Agents: The Best of Both Worlds

Enabling peer-to-peer communication between cooperative trusted web applications

Design und Implementierung eines Ranglistensystems mit Gamification-Elementen

Kernel as a Service - Custom tailored kernels for the cloud

Veränderbare Anwendungen in Intel SGX Enklaven

Entwicklung eines Tools zur Performanzanalyse von SGX Enklaven.

Untersützung für Intel SGX v2 im SGX SDK

Developement of a comprehensive life-cycle approach of Research software

Skalierbarkeit von Chaincode-Anwendungen in der Hyperledger Fabric Blockchain

Analyse von Ortsdaten und Bewegungsprofilen

Datenzugriffsanalyse für Rust-Anwendungen

Implementierung einer IoT-Anwendung zur Sicherheitsanalyse

Integration einer Blockchain-Anwendung in die Social Media Plattform Twitter

Design und Implementierung einer Blockchain für eingebettete Systeme innerhalb eines Zugs

Sicherheitsorientierte Partitionierung von Anwendungen in Rust mit Intel SGX

Automatisierte Partitionierung von Rust-Anwendungen

ARM TrustZone-based Byzantine Agreement

Clientseitige Verifizierung von Entfernten Attestierungen in Webdiensten

Partitionierung der Ausführung der Systemaufrufe von WebAssembly-Anwendungen in AMD-SEV VMs

Implementierung von symmetrischen kryptographischen Verfahren in einem Rust-basierten BFT-Framework

Implementing C variant enclaves in a rust-based BFT framework

Datentransparenz und Rückverfolgung von Produkten in globalen Lieferketten durch Blockchain

Literaturanalyse zur Skalierbarkeit von BFT-Protokollen in Blockchains

Implementing the Gosig Agreement Protocol in a Rust-Based BFT Framework

Implementing a Privacy-Preserving Contact Tracing Approach for Interactive Event Verification

Erweiterung des SGXoMeter-Frameworks um Unterstützung für Vielfältige SGX-Basierte Anwendungen

Integrating BFT framework into Hyperledger Fabric

Implementing the Mir-BFT Agreement Protocol in a Rust-Based BFT Framework

Verlässliche Nachrichtenübertragung in einem Rust-basierten BFT-Framework

Implementierung des Einigungsprotokolls Hotstuff in einem Rust-basierten BFT-Framework

Implementierung und Vergleich von austauschbaren Binärformaten für Netzwerknachrichten in einem Rust-basierten BFT-Framework

Implementierung einer Baumstruktur für das formale Verifikationstool Ivy Implementation of a Tree Structure for the Formal Verification Tool Ivy

Keystone on the SiFive Unmatched

Erweiterung von Apache ZooKeeper um eine adaptive Migrationsmöglichkeit auf Basis zeitgebundener Referenzen

High availability for Openstack based IaaS clouds

Sichere und effiziente Prozessreplikation auf einem System unter widrigen Bedingungen

Auf eigenen Beinen: Systematische Untersuchung von Kommunikationsansätzen für ein zukünftiges BFT-System

Auf der Suche nach einer MOM: Beurteilung bestehender nachrichtenorientierter Middlewares im Kontext eines zukünftigen BFT-Systems

CheapBFT: Hardware TCP/IP Integration for High Performance Applications

Providing system support for multi-threaded SGX-based services

A Lightweight System for Data Leakage Detection in Cloud Computing

Integrated Tool Support for Energy-Aware Programming

Linux Kernel Attack Surface Reduction Measurement

Pervasive Profile-Based Energy Analysis of a Sensor Node Operating System

A Multi-leader Approach of Byzantine Fault Tolerance

Remote Attestation in a multi-tenant and TrustZone-protected cloud

Neuartige Analyse von Netzwerktraffic mit Intel SGX

Design and implementation of trusted applications applying the ARM TrustZone hardware extensions

Ein Angriff auf TESLA-gesicherte Zeitsynchronisationsprotokolle

Absicherung eines JavaScript Interpreters mit Intel SGX

Entwicklung einer byzantinisch fehlertolerant replizierten Datenbank für Mehrkernumgebungen

Umsetzung einer konsensusorientierten Parallelisierung für Mehrkernumgebungen am Beispiele von Apache ZooKeeper

Development of a Memory Controller in Gem5

Automated Deployment and Evaluation of BFT Systems Using a Metal-as-a-Service Cloud

Charakterisierung und Entwicklung eines Benchmarks zur Evaluierung aktueller Blockchains

Fault-Injection-Based Assessment of Fault Tolerance Measures with FAIL*

Leistungs- und Skalierungsoptimierung von DeNoVo-Malloc durch Hardwarebeschleunigung und gezielte Codeanpassung an transaktionalen Speicher

Automated Deployment and Evaluation of Fault Tolerant Systems Using a Metal-as-a-Service Cloud

Implementierung eines FPGA basierendes High-Speed Debugging Interfaces

Cloud-scale Trusted Execution on the ARM Juno Development Kit

Vertrauenswürdige Speicherung von Ortsdaten in Blockchains

Secure Volunteer Computing

Portierung einer minimalen Java Laufzeit-Umgebung auf eine Intel SGX Plattform

Schnelle Inter-Enklaven Kommunikation mit Intel SGX

FaaS in TrustJS

Entwicklung eines besseren Pagingalgorithmus für Intel SGX Enklaven

A Web Framework for Partition Trusted Web Applications

Multi-Enclave BFT Protocols

Development of a fast distributed Key-Value Store with Integrity verification

Verbesserung der Skalierbarkeit von BFT-Protokollen

Continuous Code Re-Randomisation at Runtime for Intel SGX Enclaves

Ein Framework für dynamische WebAssembly-Anwendungen

FaaS Attestation

Design and Implementation of Byzantine Consensus with Bus Communication in Rust

Eine WebAssembly-basierte Umgebung zur flexiblen Transformation von OPC UA-Modellen

Entwicklung eines Frameworks zur Verteilung von partitionierten WebAssembly-Anwendungen auf AMD-SEV VMs

Absicherung einer Plattform für Mobile Agenten mit Keystone

Live-Migration für Abgesicherte Mobile Agenten Live Migration for Secure Mobile Agents

Verteidigung gegen Synchronisationsangriffe mit User-Level Threading

Formal Verification of a Byzantine Agreement Protocol

Building Agreement protocols with RDMA in Rust

Increasing BFT resilience using multiple Trusted Execution Environments

Interfunktionsfähigkeit zwischen Heterogenen und Verteilten Modulen in WebAssembly

Entwicklung eines Frameworks zur Evaluation von verteilten Systemen

Konzeption und Implementierung eines Frameworks für befehlszeilengesteuerte Anwendungen in Python

Vertrauenswürdige Ausführung von map und reduce in Hadoop MapReduce

Verschlüsselte Datenspeicherung und Schlüsselwortsuche in Hadoop MapReduce

Porting the TrApps Framework to the ARM Juno Development Board

Vertrauenswürdige Docker Anwendungen in OpenStack

Dynamic state partitioning in Byzantine Fault Tolerance system

Sprachunterstützte Partitionierung von vertrauenswürdigen Webanwendungen

Vertrauenswürdige Aufzeichnung von Mediendaten mit Blockchains

Implementierung einer FPGA basierenden Datenakquisition

Implementierung und Evaluation eines generischen Proxies für vertrauenswürdige Webanwendungen

Entwicklung einer SGX Benchmark-Suite

Protecting the Click Modular Router with Intel SGX

Absicherung einer Plattform für Mobile Agenten

FaaS Attestation

Extending Rust-WebAssembly Support for Multithreading and Networking

Implementation of a Byzantine Agreement Scheme in Rust

Partitionierung eines TPC-W Benchmarks in mehreren WebAssembly Modulen

Inkrementelle E-Mail Sicherheit mittels Intel SGX

Automatic Application Partitioning for Trusted Execution

Private Websuche mit Intel SGX

Demonstrator for Consensus Protocols in Wireless Ad-Hoc Networks