We address the problem in which a client stores a large amount of data with an untrusted
server in such a way that, at any moment, the client can ask the server to compute a function …

We study the hardware cost of implementing hash-tree based verification of untrusted
external memory by a high performance processor. This verification could enable …

Secure processors enable new sets of applications such as commercial grid computing,
software copy-protection, and secure mobile agents by providing security from both physical …

In general, secure protocols assume that participants are able to maintain secret key
information. In practice, this assumption is often incorrect as an increasing number of …

Cloud computing promises a more cost effective enabling technology to outsource storage
and computations. Existing approaches for secure outsourcing of data and arbitrary …

Protection of software code against illegitimate modifications by its users is a pressing issue
to many software developers. Many software-based mechanisms for protecting program …

Meeting the challenge of building a user-configurable secure coprocessor provided several
lessons in hardware and software development and continues to spur further research. In …

Abstract Systems and methods are provided for preventing unauthorized modification of an
operating system. The system includes an operating system comprised of kernel code for …

Application security traditionally strongly relies upon security of the underlying operating
system. However, operating systems often fall victim to software attacks, compromising …

Secure outsourcing of computation to an untrusted (cloud) service provider is becoming
more and more important. Pure cryptographic solutions based on fully homomorphic and …