Secure delivery of program properties through optimizing compilation.

Son Tuan Vu, Karine Heydemann, Arnaud de Grandmaison, Albert Cohen

Browse the full CC paper archive.