SafeTSA: A type safe and referentially secure mobile-code representation based on static single assignment form

We introduce SafeTSA, a type-safe mobile code representation based on stati c single assignment form. We are developing SafeTSA as an alternative to th e Java Virtual Machine, over which it has several advantages: (1) SafeTSA i s better suited as input to optimizing dynamic code generators and allows C SE to be performed at the code producer's site. (2) SafeTSA provides incorr uptible referential integrity and uses "type separation" to achieve intrins ic type safety. These properties reduce the code verification effort at the code consumer's site considerably. (3) SafeTSA can transport the results o f type and bounds-check elimination in a tamper-proof manner. Despite these advantages, SafeTSA is more compact than Java bytecode.