Stack and Queue Integrity on Hostile Platforms

When computationally intensive tasks have to be carried out on trusted, but limited, platforms such as smart cards, it becomes necessary to compensate for the limited resources memory, CPU speed by o loading implementations of data structures on to an available but insecure, untrusted fast co-processor. However, data structures such as stacks, queues, RAMS, and hash tables can be corrupted and made to behave incorrectly by a potentially hostile implementation platform or by an adversary knowing or choosing data structure operations. This paper examines approaches that can detect violations of datastructure invariants, while placing limited demands on the resources of the secure computing platform.

• Type: Conference
• Year: 1998
• Where: SP
• Authors: Premkumar T. Devanbu, Stuart G. Stubblebine
• Keywords: Data Structure, Limited Resources Memory, Security Privacy, SP 1998, Untrusted Fast Co-processor