SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form. - Wolfram Amme; Niall Dalton; Michael Franz; Jeffery von Ronne (PLDI, 2001)

Towards Language-Agnostic Mobile Code. - Peter Housel; Christian H. Stork; Vivek Haldar; Niall Dalton; Michael Franz (BABEL, 2001)