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 …
untrusted host machines, eg, the cloud. Many hardware vendors offer different …
HasTEE+: Confidential Cloud Computing and Analytics with Haskell
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 …
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
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 …
of the remedies to privacy breach incidents is to encapsulate computations over sensitive …
Secured routines: Language-based construction of trusted execution environments
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 …
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 Computing. Driven by the need to protect computations delegated to co …
Confidential serverless made efficient with plug-in enclaves
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 …
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 …
Many applications are built upon private algorithms, and executing them in untrusted,
remote environments poses confidentiality issues. To some extent, these problems can be …
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 …
execution areas in memory, called enclaves. By running only the most trusted application …
Binary code retrofitting and hardening using SGX
Trusted Execution Environment (TEE) is designed to deliver a safe execution environment
for software systems. Intel Software Guard Extensions (SGX) provides isolated memory …
for software systems. Intel Software Guard Extensions (SGX) provides isolated memory …
Sok: Limitations of confidential computing via tees for high-performance compute systems
Trusted execution environments (TEEs) are primary enablers of confidential computing. This
paper presents a systematization of the existing trusted execution environments in industry …
paper presents a systematization of the existing trusted execution environments in industry …