Stack and queue integrity on hostile platforms

P.T. Devanbu, S.G. Stubblebine
2002 IEEE Transactions on Software Engineering  
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 oloading 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
more » ... 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.
doi:10.1109/32.979991 fatcat:vl4feaoa4vahdhtdsgdyxlbbhe