Secure delivery of program properties through optimizing compilation.

Son Tuan Vu Karine Heydemann Arnaud de Grandmaison Albert Cohen

Published in: CC (2020)

Keyphrases

desirable properties
artificial intelligence
computer programs
real time
structural properties
security issues
key management
imperative programs