Author:
Franz Michael,Chandra Deepak,Gal Andreas,Haldar Vivek,Probst Christian W.,Reig Fermín,Wang Ning
Reference17 articles.
1. S.L.A. Adl-Tabatabai, G. Langdale, R. Wahbe, Efficient and language-independent mobile programs, in: Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation, 1996, pp. 128–136
2. SafeTSA: A type safe and referentially secure mobile-code representation based on static single assignment form;Amme;SIGPLAN Notices,2001
3. W. Amme, N. Dalton, P.H. Fröhlich, V. Haldar, P.S. Housel, J. von Ronne, C.H. Stork, S. Zhenochin, M. Franz, Project transPROse: Reconciling mobile-code security with execution efficiency, in: DARPA Information Survivability Conference and Exposition, 2001
4. Foundational proof-carrying code;Appel,2001
5. Compiler support for garbage collection in a statically typed language;Diwan;SIGPLAN Notices,1992