The following publications are possibly variants of this publication:
- System-level Non-interference for Constant-time CryptographyGilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, David Pichardie. ccs 2014: 1267-1279 [doi]
- System-level non-interference for constant-time cryptographyGilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna, David Pichardie. iacr, 2014:422, 2014. [doi]
- System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth MemoryGilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna 0001, David Pichardie. JAR, 64(8):1685-1729, 2020. [doi]