Skip to main content
OSTI.GOVU.S. Department of Energy Office of Scientific and Technical Information
U.S. Department of Energy
Office of Scientific and Technical Information
 

Stateless and stateful implementations of faithful execution

Patent ·
OSTI ID:1165425
; ; ; ; ;

A faithful execution system includes system memory, a target processor, and protection engine. The system memory stores a ciphertext including value fields and integrity fields. The value fields each include an encrypted executable instruction and the integrity fields each include an encrypted integrity value for determining whether a corresponding one of the value fields has been modified. The target processor executes plaintext instructions decoded from the ciphertext while the protection engine is coupled between the system memory and the target processor. The protection engine includes logic to retrieve the ciphertext from the system memory, decrypt the value fields into the plaintext instructions, perform an integrity check based on the integrity fields to determine whether any of the corresponding value fields have been modified, and provide the plaintext instructions to the target processor for execution.

Research Organization:
Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
Sponsoring Organization:
USDOE
DOE Contract Number:
AC04-94AL85000
Assignee:
Sandia Corporation (Albuquerque, NM)
Patent Number(s):
8,914,648
Application Number:
12/542,072
OSTI ID:
1165425
Country of Publication:
United States
Language:
English

References (4)

Secure computing using cryptographic assurance of execution correctness conference January 2004
Trusted objects
  • Campbell, P. L.; Pierson, L. G.; Witzke, E. L.
  • Conference Proceedings of the 2001 IEEE International Performance, Computing, and Communications Conference (Cat. No.01CH37210) https://doi.org/10.1109/IPCCC.2001.918658
conference January 2001
On the use of trusted objects to enforce isolation between processes and data
  • Tarman, T. D.; Witzke, E. L.; Pierson, L. G.
  • IEEE 36th Annual 2002 International Carnahan Conference on Security Technology, Proceedings. 36th Annual 2002 International Carnahan Conference on Security Technology https://doi.org/10.1109/CCST.2002.1049235
conference January 2002
Protection of distributed internetworked computers conference January 2005

Similar Records

Principles of Faithful Execution in the implementation of trusted objects.
Technical Report · Mon Sep 01 00:00:00 EDT 2003 · OSTI ID:917142
Fully Homomorphic Encryption
Software · Thu Jun 19 20:00:00 EDT 2025 · OSTI ID:code-160029
Nonlinear dynamics and cryptosystem
Journal Article · Sat Jun 01 00:00:00 EDT 1996 · AIP Conference Proceedings · OSTI ID:401119

Related Subjects

97 MATHEMATICS AND COMPUTING