System-level non-interference for constant-time cryptography

Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna, David Pichardie. System-level non-interference for constant-time cryptography. IACR Cryptology ePrint Archive, 2014:422, 2014. [doi]

Authors

Gilles Barthe

This author has not been identified. Look up 'Gilles Barthe' in Google

Gustavo Betarte

This author has not been identified. Look up 'Gustavo Betarte' in Google

Juan Diego Campo

This author has not been identified. Look up 'Juan Diego Campo' in Google

Carlos Luna

This author has not been identified. Look up 'Carlos Luna' in Google

David Pichardie

This author has not been identified. Look up 'David Pichardie' in Google