1. Austin, T.M., Breach, S.E., Sohi, G.S.: Efficient Detection of All Pointer and Array Access Errors. In: Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, June 20–24. SIGPLAN Notices, vol. 29(6) (1994)
2. Amme, W., Dalton, N., Frohlich, P.H., Haldar, V., Hous el, P.S., von Ronn, J., Stork, C.H., Zhenochin, S., Franz, M.: Project transPROse: Reconciling Mobile-Code Security with Execution Efficiency. In: DARPA Information Survivability Conference and Exposition (June 2001)
3. Amme, W., Dalton, N., von Ronne, J., Franz, M.: SafeTSA: A type safe and referentially secure mobile-code representation based on sta tic single assignment form. In: Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, May 2001. SIGPLAN Notices, vol. 36(5), pp. 137–147 (May 2001)
4. Defense Advanced Research Project Agency. Program Composition of Embedded Systems (PCES), SOL BAA 02-25 (2002), http://www.darpa.mil/baa/baa02-25.htm
5. BSD. Trusted BSD Project, http://www.trustedbsd.org/