Secure computing using cryptographic assurance of execution correctness.

Eldridge, John M; Robertson, Perry J; Tarman, Thomas David; Campbell, Philip LaRoche; Pierson, Lyndon George; Witzke, Edward L

Secure computing using cryptographic assurance of execution correctness.

Conference · Thu Jul 01 04:00:00 EDT 2004

OSTI ID:957655

Eldridge, John M; Robertson, Perry J; Tarman, Thomas David; Campbell, Philip LaRoche; Pierson, Lyndon George; Witzke, Edward L

Abstract Not Provided

🛈

OSTI does not have a digital full text copy available. For more information, please see document availability, search WorldCat, or search Google Scholar.

Research Organization:: Sandia National Laboratories

Sponsoring Organization:: USDOE

DOE Contract Number:: AC04-94AL85000

OSTI ID:: 957655

Report Number(s):: SAND2004-3255C

Country of Publication:: United States

Language:: English

Similar Records

Secure computing using cryptographic assurance of execution correctness.

Conference · Fri Oct 01 00:00:00 EDT 2004 · OSTI ID:948332

Assured Security by Design.

Conference · Tue May 01 00:00:00 EDT 2007 · OSTI ID:1724153

Secure Embedded System Design Methodologies for Military Cryptographic Systems.

Conference · Thu Dec 31 23:00:00 EST 2015 · OSTI ID:1342349

Secure computing using cryptographic assurance of execution correctness.

Citation Formats

Similar Records

Related Subjects