SystemLevel Non-Interference for Constant-Time Cryptography. (2014)

by G Barthe, G Betarte, J D Campo, C Luna, D Pichardie
Venue:IACR Cryptology ePrint Archive,