Securing the End-points of the Signal Protocol using Intel SGX based Containers
Unikernels: library operating systems for the cloud