skip to main content
DOE Patents title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Stateless and stateful implementations of faithful execution

Abstract

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.

Inventors:
; ; ; ; ;
Issue Date:
Research Org.:
Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
Sponsoring Org.:
USDOE
OSTI Identifier:
1165425
Patent Number(s):
8,914,648
Application Number:
12/542,072
Assignee:
Sandia Corporation (Albuquerque, NM)
DOE Contract Number:  
AC04-94AL85000
Resource Type:
Patent
Resource Relation:
Patent File Date: 2009 Aug 17
Country of Publication:
United States
Language:
English
Subject:
97 MATHEMATICS AND COMPUTING

Citation Formats

Pierson, Lyndon G, Witzke, Edward L, Tarman, Thomas D, Robertson, Perry J, Eldridge, John M, and Campbell, Philip L. Stateless and stateful implementations of faithful execution. United States: N. p., 2014. Web.
Pierson, Lyndon G, Witzke, Edward L, Tarman, Thomas D, Robertson, Perry J, Eldridge, John M, & Campbell, Philip L. Stateless and stateful implementations of faithful execution. United States.
Pierson, Lyndon G, Witzke, Edward L, Tarman, Thomas D, Robertson, Perry J, Eldridge, John M, and Campbell, Philip L. Tue . "Stateless and stateful implementations of faithful execution". United States. https://www.osti.gov/servlets/purl/1165425.
@article{osti_1165425,
title = {Stateless and stateful implementations of faithful execution},
author = {Pierson, Lyndon G and Witzke, Edward L and Tarman, Thomas D and Robertson, Perry J and Eldridge, John M and Campbell, Philip L},
abstractNote = {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.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {2014},
month = {12}
}

Patent:

Save / Share:

Works referenced in this record:

On the use of trusted objects to enforce isolation between processes and data
conference, January 2002

  • 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
  • DOI: 10.1109/CCST.2002.1049235

Secure computing using cryptographic assurance of execution correctness
conference, January 2004

  • Pierson, L. G.; Campbell, P. L.; Eldridge, J. M.
  • 38th Annual 2004 International Carnahan Conference on Security Technology, 2004.
  • DOI: 10.1109/CCST.2004.1405399

Trusted objects
conference, January 2001

  • Campbell, P. L.; Pierson, L. G.; Witzke, E. L.
  • Conference Proceedings of the 2001 IEEE International Performance, Computing, and Communications Conference (Cat. No.01CH37210)
  • DOI: 10.1109/IPCCC.2001.918658

Protection of distributed internetworked computers
conference, January 2005

  • Pierson, L. G.; Robertson, P. J.; Van Randwyk, J.
  • Proceedings 39th Annual 2005 International Carnahan Conference on Security Technology
  • DOI: 10.1109/CCST.2005.1594882