Projects

Ako
Ako
Decentralised Deep Learning
Crossbow
Crossbow
Scalable Multi-GPU Deep Learning
Faasm
Faasm
Serverless Big Data Runtime
MDF
MDF
Meta-Dataflows
Medea
Medea
Heterogenous Application Scheduling
SABER
SABER
Hybrid Stream Processing
SEEP
SEEP
Stateful Big Data Processing
SERECA
SERECA
Hardware-Assisted Cloud Security
SGX-LKL
SGX-LKL
Linux Binaries in SGX Enclaves
Teechain
Teechain
A Secure Blockchain Payment Network

Past Projects

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
MobiCloud
MobiCloud
Mobile Edge Computing
Multicore-FSM
Multicore-FSM
Parallel Finite State Machines
NaaS
NaaS
Application-Specific Network Services
SmartFlow
SmartFlow
Secure Event-Based Middleware
SymNV
SymNV
Symbolic Network Verification
Ukairo
Ukairo
Scalable Internet Detouring