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. SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form. In PLDI. pages 137-147, 2001.

Abstract

Abstract is missing.