Son Tuan Vu

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 3

Top Topics

Optimization Problems

Imperative Programs

Desirable Properties

Top Venues

Proc. ACM Program. Lang.

Publications

Son Tuan Vu, Albert Cohen, Arnaud de Grandmaison, Christophe Guillon, Karine Heydemann
Reconciling optimization with secure compilation. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Son Tuan Vu, Albert Cohen, Karine Heydemann, Arnaud de Grandmaison, Christophe Guillon
Secure Optimization Through Opaque Observations. CoRR (2021)
Son Tuan Vu, Karine Heydemann, Arnaud de Grandmaison, Albert Cohen
Secure delivery of program properties through optimizing compilation. CC (2020)