Cryptology ePrint Archive: Report 2014/422

Available versions in chronological order


System-level non-interference for constant-time cryptography
Gilles Barthe and Gustavo Betarte and Juan Diego Campo and Carlos Luna and David Pichardie


[ Cryptology ePrint archive ]