“…9 There are also issues with low-latency communication between TEEs, and also the cost of virtualization, that must be addressed to enable HPC at scale. 1 In addition, promising RISC-V efforts such as Keystone 4 exist that carry both the promise of broadening the scope of processors that contain TEEs, while also being open source and possible to formally verify. However, RISC-V based TEEs have not yet been developed that target scientific computing.…”