Secure delivery of program properties through optimizing compilation

Son Tuan Vu, Karine Heydemann, Arnaud de Grandmaison, Albert Cohen 0001. Secure delivery of program properties through optimizing compilation. In Louis-Noël Pouchet, Alexandra Jimborean, editors, CC '20: 29th International Conference on Compiler Construction, San Diego, CA, USA, February 22-23, 2020. pages 14-26, ACM, 2020. [doi]

@inproceedings{VuHG020,
  title = {Secure delivery of program properties through optimizing compilation},
  author = {Son Tuan Vu and Karine Heydemann and Arnaud de Grandmaison and Albert Cohen 0001},
  year = {2020},
  doi = {10.1145/3377555.3377897},
  url = {https://doi.org/10.1145/3377555.3377897},
  researchr = {https://researchr.org/publication/VuHG020},
  cites = {0},
  citedby = {0},
  pages = {14-26},
  booktitle = {CC '20: 29th International Conference on Compiler Construction, San Diego, CA, USA, February 22-23, 2020},
  editor = {Louis-Noël Pouchet and Alexandra Jimborean},
  publisher = {ACM},
  isbn = {978-1-4503-7120-9},
}