Cryptology ePrint Archive: Report 2014/422

Available versions in chronological order

20140606:050829 (posted 06-Jun-2014 05:08:29 UTC): 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 ]