Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic “Constant-Time” | IEEE Conference Publication | IEEE Xplore