We study the problem of computing on large datasets that are stored on an untrusted server.
We follow the approach of amortized verifiable computation introduced by Gennaro, Gentry …

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

Trusting a computer for a security-sensitive task (such as checking email or banking online)
requires the user to know something about the computer's state. We examine research on …

An integrated circuit has a first component that has a dynamic characteristic that varies
among like integrated circuits, for example, among integrated circuits fabricated using the …

6,085,193 A 72000 Malkin et al. 7,644,429 B2 1/2010 Bayassi et al. 6,141,756. A 10/2000
Bright et al. 2001/0014882 A1 8/2001 Stefik et al. 6,148,340 A 1 1/2000 Bittinger et al. 2001 …

An ASIC or ASSP has processor circuitry (110), a predeter mined initialization program (100)
for execution by the pro cessor circuitry at power up, and a non-volatile key table (120) …

We introduce a Write-Once Read-Many (WORM) storage system providing strong
assurances of data retention and compliant migration, by leveraging trusted secure …

In an array of groups of cryptographic processors, the processors in each group operate
together but are securely connected through an external shared memory. The processors in …

Secure payment is the basis of electronic commerce (e-commerce). A large amount of
electronic payments are made via POS (point of sale) terminals using smart cards and …

Low cost computing devices have become a key enabler of the digital economy, supporting
everyday activities such as banking, access control, and travel. These devices often present …