Languages and language runtimes that guarantee safety by construction,. The Confidential Computing group at Microsoft Research Cambridge has been conducting…