Witnessing Secure Compilation.

Kedar S. Namjoshi, Lucas M. Tabajara

Browse the full VMCAI paper archive.