Type-preserving compilation of end-to-end verification of security enforcement

Juan Chen, Ravi Chugh, Nikhil Swamy. Type-preserving compilation of end-to-end verification of security enforcement. In Benjamin G. Zorn, Alexander Aiken, editors, Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010. pages 412-423, ACM, 2010. [doi]

Authors

Juan Chen

This author has not been identified. Look up 'Juan Chen' in Google

Ravi Chugh

This author has not been identified. Look up 'Ravi Chugh' in Google

Nikhil Swamy

This author has not been identified. Look up 'Nikhil Swamy' in Google