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

Title: 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 Lab. (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
Resource Relation:
Patent File Date: 2009 Aug 17
Country of Publication:
United States
Language:
English

References (8)

Cryptographic synchronization recovery by measuring randomness of decrypted data patent December 1990
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
  • 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
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
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:1165425
Nonlinear dynamics and cryptosystem
Journal Article · Sat Jun 01 00:00:00 EDT 1996 · AIP Conference Proceedings · OSTI ID:1165425
A cubic map chaos criterion theorem with applications in generalized synchronization based pseudorandom number generator and image encryption
Journal Article · Fri May 15 00:00:00 EDT 2015 · Chaos (Woodbury, N. Y.) · OSTI ID:1165425

Related Subjects

97 MATHEMATICS AND COMPUTING