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]
Abstract is missing.