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 static single assignment form. We are developing SafeTSA as an alternative to the Java Virtual Machine, over which it has several advantages: (1) SafeTSA is better suited as input to optimizing dynamic code generators and allows CSE to be performed at the code producer's site. (2) SafeTSA provides incorruptible referential integrity and uses "type separation" to achieve intrinsic type safety. These properties reduce the code verification e#ort at the code consumer's site considerably. (3) SafeTSA can transport the results of type and bounds-check elimination in a tamper-proof manner. Despite these advantages, SafeTSA is more compact than Java bytecode