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

Browse the full PLDI paper archive.