Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality

Peter Sewell, Jan Vitek. Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality. Journal of Computer Security, 11(2):135-188, 2003.

Authors

Peter Sewell

This author has not been identified. Look up 'Peter Sewell' in Google

Jan Vitek

Identified as Jan Vitek