Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic "Constant-Time"

Gilles Barthe, Benjamin Grégoire, Vincent Laporte. Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic "Constant-Time". In 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018. pages 328-343, IEEE Computer Society, 2018. [doi]

Authors

Gilles Barthe

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

Benjamin Grégoire

This author has not been identified. Look up 'Benjamin Grégoire' in Google

Vincent Laporte

This author has not been identified. Look up 'Vincent Laporte' in Google