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):
8914648
Application Number:
12/542,072
Assignee:
Sandia Corporation (Albuquerque, NM)
Patent Classifications (CPCs):
G - PHYSICS G06 - COMPUTING G06F - ELECTRIC DIGITAL DATA PROCESSING
H - ELECTRICITY H04 - ELECTRIC COMMUNICATION TECHNIQUE H04L - TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
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 = {Tue Dec 16 00:00:00 EST 2014},
month = {Tue Dec 16 00:00:00 EST 2014}
}

Works referenced in this record:

Bit error rate tester using fast parallel generation of linear recurring sequences
patent, May 2003


Enhancement of utilization of encryption engine
patent, April 2008


Compiler System and a Method of Compiling a Source Code into an Encrypted Machine Language Code
patent-application, March 2010


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
  • https://doi.org/10.1109/CCST.2002.1049235

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


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)
  • https://doi.org/10.1109/IPCCC.2001.918658

Protection of distributed internetworked computers
conference, January 2005