Attacks often succeed by abusing the gap between program and machine-level semantics--
for example, by locating a sensitive pointer, exploiting a bug to overwrite this sensitive data, …

Morpheus II is a secure processor designed to prevent control flow attacks. Morpheus II
strengthens the defenses of the Morpheus [1] processor, by deploying always-on encryption to …

Low-trust architectures work on, from the viewpoint of software, always-encrypted data, and
significantly reduce the amount of hardware trust to a small software-free enclave component…

Privacy-enhanced computation enables the processing of encrypted data without exposing
underlying sensitive information. Such technologies are extremely promising for the …

There is an increasing body of work in the area of hardware defenses for software-driven
security attacks. A significant challenge in developing these defenses is that the space of …

Data-oblivious programs have gained popularity due to their application in security, but are
often dismissed because of anticipated performance loss. In order to better understand these …

Data breaches that penetrate web-facing servers and exfiltrate sensitive user data have
become pervasive. Insulating these systems from attack is seemingly impossible due to the …

Embedded systems are evolving in complexity, leading to the emergence of multiple threats.
The co-design and execution of software on the embedded systems further exacerbate the …

During the 1970s, a curious class of programs called data-oblivious algorithms started to
catch the attention of researchers because of the numerous applications they enabled due to …

To maintain the control-flow integrity of today's machines, code pointers must be protected.
Exploits forge and manipulate code pointers to execute arbitrary, malicious code on a host …