A CompCert Compiler that Preserves Cryptographic Constant-time

POPL 2020