Security Types Preserving Compilation: (Extended Abstract).

Gilles Barthe, Amitabh Basu, Tamara Rezk

Browse the full VMCAI paper archive.