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 of Constant-Time Cryptography. Part I: ModelGilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna. JAR, 63(1):1-51, 2019. [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]