Singularity: Scientific containers for mobility of compute
Design and Verification of Secure Systems