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 …

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

Realistic secure processors, including those built for academic and commercial purposes,
commonly realize an “attested execution” abstraction. Despite being the de facto standard …

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 …

Preserving one's uniquely customized computing environment as one moves to different
locations is an enduring challenge in mobile computing. We examine why this capability is …

How can one trust computation taking place at a remote site, particularly if a party at that site
might have motivation to subvert this trust? In recent years, industrial efforts have advanced …

(57) ABSTRACT A pipelined processor comprising a cache memory system, fetching
instructions for execution from a portion of said cache memory system, an instruction …

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 …

Ostrolenk Faber LLP (57) ABSTRACT A processor comprising: an instruction processing
pipeline, configured to receive a sequence of instructions for execution, said sequence …

Full-scale adoption of mobile agent technology in untrustworthy network environments, such
as the Internet, has been delayed by several security complexities [Montanari, 2001] …