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 = {2014},
month = {12}
}
Save to My Library
You must Sign In or Create an Account in order to save documents to your library.
Works referenced in this record:
Cryptographic synchronization recovery by measuring randomness of decrypted data
patent, December 1990
- Maestas, Joseph H.; Pierson, Lyndon G.
- US Patent Document 4,977,596
Bit error rate tester using fast parallel generation of linear recurring sequences
patent, May 2003
- Pierson, Lyndon G.; Witzke, Edward L.; Maestas, Joseph H.
- US Patent Document 6,560,727
Enhancement of utilization of encryption engine
patent, April 2008
- Robertson, Robert J.; Witzke, Edward L.
- US Patent Document 7,362,859
Compiler System and a Method of Compiling a Source Code into an Encrypted Machine Language Code
patent-application, March 2010
- Velten, Joachim; Janke, Marcus
- US Patent Application 12/233207; 20100070953
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
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.
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)
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