Projects

BOSS
BOSS
A Bring-Your-Own-Kernel DBMS
CloudCAP
CloudCAP
Compartments and Cloud-Native Applications
Crossbow
Crossbow
Scalable Multi-GPU Deep Learning
Faasm
Faasm
High performance serverless computing
FractOS
FractOS
Secure and Efficient Disaggregated Systems
KungFu
KungFu
Adaptive Distributed Machine Learning
LightSaber
LightSaber
Multi-core Window-Based Stream Processing
Medea
Medea
Heterogenous Application Scheduling
SGX-LKL
SGX-LKL
Linux Binaries in SGX Enclaves
Teechain
Teechain
A Secure Blockchain Payment Network

Past Projects

Ako
Ako
Decentralised Deep Learning
ASIA
ASIA
Adaptive Publish/Subscribe Systems
CloudFilter
CloudFilter
Confinement of Sensitive Data
CloudSafetyNet
CloudSafetyNet
End-to-End Cloud Security
DISSP
DISSP
Dependable Stream Processing Systems
HARNESS
HARNESS
Heterogeneous Cloud Computing
ITA-DSM
ITA-DSM
Mobile Stream Processing
MDF
MDF
Meta-Dataflows
MobiCloud
MobiCloud
Mobile Edge Computing
Multicore-FSM
Multicore-FSM
Parallel Finite State Machines
NaaS
NaaS
Application-Specific Network Services
SABER
SABER
Hybrid Stream Processing
SEEP
SEEP
Stateful Big Data Processing
SERECA
SERECA
Hardware-Assisted Cloud Security
SmartFlow
SmartFlow
Secure Event-Based Middleware
SymNV
SymNV
Symbolic Network Verification
Ukairo
Ukairo
Scalable Internet Detouring