Large-Scale Data & Systems (LSDS) Group

KungFu

Fast and Adaptive Distributed Machine Learning for TensorFlow, PyTorch and MindSpore.

sgx-lkl

SGX-LKL Library OS for running Linux applications inside of Intel SGX enclaves

spectre-attack-sgx

Spectre attack against SGX enclave

TaLoS

Efficient TLS termination inside Intel SGX enclaves for existing applications

LightSaber

Multi-core Window-Based Stream Processing Engine

Crossbow

Crossbow: A Multi-GPU Deep Learning System for Training with Small Batch Sizes

StreamBench

Measuring the performance of popular streaming engines with Yahoo's Streaming Benchmark

Teechain

Teechain: A Secure Payment Network with Asynchronous Blockchain Access

Saber

Window-Based Hybrid CPU/GPU Stream Processing Engine

intravisor

Virtualisation platform using CHERI for isolation and sharing

SEEP

Cluster computing using Stateful Dataflow Graphs

sgx-spark

SGX-Spark

LibSEAL

Secure auditing of Internet services with Intel SGX

CubicleOS

Compartmentalised monolithic library OS

sgx-lkl-musl

Modified musl libc for SGX-LKL

sgx-membench

Simple memory benchmarking of Intel SGX

Neptune

Neptune Execution Framework for Stream/Batch Spark Applications

musl

Fork of the official musl libc repository

SEEPng

cc-DeathStarBench

Port of the DeathStar benchmark for microservices to a confidential computing setting.

frontier

Resilient Edge Processing Platform for the IoT

MultiKernelBOSS

lkl

Linux kernel source tree

openenclave

SDK for developing enclaves

ltp

Linux Test Project http://linux-test-project.github.io/

Thicket