Niall Dalton

Publication Activity (10 Years)

Years Active: 2001-2001
Publications (10 Years): 0

Publications

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. PLDI (2001)
Peter Housel, Christian H. Stork, Vivek Haldar, Niall Dalton, Michael Franz
Towards Language-Agnostic Mobile Code. Electron. Notes Theor. Comput. Sci. 59 (1) (2001)