System-level Non-interference for Constant-time Cryptography.

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, David Pichardie

Browse the full CCS paper archive.