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

Juan Chen, Ravi Chugh, Nikhil Swamy

Browse the full PLDI paper archive.