http://lsds.doc.ic.ac.uk/
Department of Computing, Imperial College London
Large-Scale Data & Systems (LSDS) Group
Cluster computing using Stateful Dataflow Graphs
lsds
SGX-Spark
Teechain: A Secure Payment Network with Asynchronous Blockchain Access
Virtualisation platform using CHERI for isolation and sharing