66 search results - page 7 / 14 » Secure Remote Execution of Sequential Computations |
MST
2008
13 years 7 months ago
2008
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...
WS
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents SCUBA (Secure Code Update By Attestation), for detecting and recovering compromised nodes in sensor networks. The SCUBA protocol enables the design of a sensor...
CCS
2007
ACM
14 years 1 months ago
2007
ACM
We propose minimalist new hardware additions to a microprocessor chip that protect cryptographic keys in portable computing devices which are used in the field but owned by a cen...
CLADE
2008
IEEE
13 years 9 months ago
2008
IEEE
Reservoir uncertainty analysis is significant for petroleum engineers for predictions of reservoir performance. However, analysis of reservoir performance uncertainty is challengi...
ICDCS
2003
IEEE
14 years 24 days ago
2003
IEEE
Remotely executing mobile code introduces a plethora of security problems. This paper examines the “external agent replay” attack, identifies the notion of one-way program st...