Language support for secure software development with enclaves

A Oak, AM Ahmadian, M Balliu… - 2021 IEEE 34th …, 2021 - ieeexplore.ieee.org
Confidential computing is a promising technology for securing code and data-in-use on
untrusted host machines, eg, the cloud. Many hardware vendors offer different …

HasTEE+: Confidential Cloud Computing and Analytics with Haskell

A Sarkar, A Russo - arXiv preprint arXiv:2401.08901, 2024 - arxiv.org
Confidential computing is a security paradigm that enables the protection of confidential
code and data in a co-tenanted cloud deployment using specialized hardware isolation units …

Building and maintaining a third-party library supply chain for productive and secure SGX enclave development

P Wang, Y Ding, M Sun, H Wang, T Li, R Zhou… - Proceedings of the …, 2020 - dl.acm.org
The big data industry is facing new challenges as concerns about privacy leakage soar. One
of the remedies to privacy breach incidents is to encapsulate computations over sensitive …

Secured routines: Language-based construction of trusted execution environments

A Ghosn, JR Larus, E Bugnion - 2019 USENIX Annual Technical …, 2019 - usenix.org
Trusted Execution Environments (TEEs), such as Intel SGX's enclave, use hardware to
ensure the confidentiality and integrity of operations on sensitive data. While the technology …

Confidential Computing—a brave new world

DP Mulligan, G Petri, N Spinale… - … on secure and …, 2021 - ieeexplore.ieee.org
The semiconductor industry is witnessing a nascent security paradigm shift in the rise of
Confidential Computing. Driven by the need to protect computations delegated to co …

Confidential serverless made efficient with plug-in enclaves

M Li, Y Xia, H Chen - 2021 ACM/IEEE 48th Annual International …, 2021 - ieeexplore.ieee.org
Serverless computing has become a fact of life on modern clouds. A serverless function may
process sensitive data from clients. Protecting such a function against untrusted clouds …

[HTML][HTML] Managing confidentiality leaks through private algorithms on Software Guard eXtensions (SGX) enclaves: Minimised TCB on secret-code execution with Early …

KA Küçük, D Grawrock, A Martin - EURASIP Journal on Information …, 2019 - Springer
Many applications are built upon private algorithms, and executing them in untrusted,
remote environments poses confidentiality issues. To some extent, these problems can be …

EnclaveDom: Privilege separation for large-TCB applications in trusted execution environments

MS Melara, MJ Freedman, M Bowman - arXiv preprint arXiv:1907.13245, 2019 - arxiv.org
Trusted executions environments (TEEs) such as Intel (R) SGX provide hardware-isolated
execution areas in memory, called enclaves. By running only the most trusted application …

Binary code retrofitting and hardening using SGX

S Wang, W Wang, Q Bao, P Wang, XF Wang… - Proceedings of the 2017 …, 2017 - dl.acm.org
Trusted Execution Environment (TEE) is designed to deliver a safe execution environment
for software systems. Intel Software Guard Extensions (SGX) provides isolated memory …

Sok: Limitations of confidential computing via tees for high-performance compute systems

A Akram, V Akella, S Peisert… - 2022 IEEE International …, 2022 - ieeexplore.ieee.org
Trusted execution environments (TEEs) are primary enablers of confidential computing. This
paper presents a systematization of the existing trusted execution environments in industry …