Data confidentiality is a central concern in modern computer systems and services, as
sensitive data from users and companies are being increasingly delegated to such systems …

Intel Security Guard Extensions (SGX) have shown effectiveness in critical data protection.
Recent symbolic execution-based techniques reveal that SGX applications are susceptible …

In today's era of the Internet of Things, we are surrounded by security-and safety-critical,
network-connected devices. In parallel with the rise in attacks on such devices, we have also …

Binary program dependence analysis determines dependence between instructions and
hence is important for many applications that have to deal with executables without any …

Trusted execution environments (TEEs) offer the technological breakthrough to allow
several applications to be deployed and executed over untrusted public cloud environments …

We explore the use of SGX enclaves as a means to improve the security of handling keys
and data in storage systems. We study two main configurations for SGX computations, as …

As service providers are moving to the cloud, users are forced to provision sensitive data to
the cloud. Confidential computing leverages hardware Trusted Execution Environment …

To optimally utilize Intel SGX, programs must be partitioned into trusted and untrusted parts.
Writing the trusted part of a program with Intel's SDK, however, requires manual effort that …

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 …

Intel SGX improves the security of applications by shielding code and data from untrusted
software in enclaves. Since enclaves lose their state when closed, that state has to be …