Tamper-resistant cryptographic processors are becoming the standard way to enforce data-
usage policies. Their origins lie with military cipher machines and PIN processing in banking …

We expect a future where we are surrounded by embedded devices, ranging from Java-
enabled cell phones to sensor networks and smart appliances. An adversary can …

Although there have been attempts to develop code transformations that yield tamper-
resistant software, no reliable software-only methods are known. This paper studies the …

Authenticated key-exchange protocols allow two participants A and B, communicating over a
public network and each holding an authentication means to exchange a shared secret …

Semiconductor chips are used today not only to control systems, but also to protect them
against security threats. A continuous battle is waged between manufacturers who invent …

The TCPA 1.0 specification finally makes it possible to build low-cost computing platforms on
a rock-solid foundation of trust. In Trusted Computing Platforms, leaders of the TCPA …

Secure coprocessors enable secure distributed applications by providing safe havens
where an application program can execute (and accumulate state), free of observation and …

Abstract Authenticated Diffie-Hellman key exchange allows two principals communicating
over a public network, and each holding public/private keys, to agree on a shared secret …

Abstract The Probabilistic Signature Scheme (PSS) designed by Bellare and Rogaway is a
signature scheme provably secure against chosen message attacks in the random oracle …

We propose" secret-protected (SP)" architecture to enable secure and convenient protection
of critical secrets for a given user in an on-line environment. Keys are examples of critical …