Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Vincent Laporte, Tiago Oliveira 0004. Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification. In Karthikeyan Bhargavan, Elisabeth Oswald, Manoj Prabhakaran, editors, Progress in Cryptology - INDOCRYPT 2020 - 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings. Volume 12578 of Lecture Notes in Computer Science, pages 107-127, Springer, 2020. [doi]

This author has not been identified. Look up 'José Bacelar Almeida' in GoogleThis author has not been identified. It may be one of the following persons:

Manuel Bernardo Barbosa

Look up 'Manuel Barbosa' in GoogleThis author has not been identified. Look up 'Gilles Barthe' in GoogleThis author has not been identified. Look up 'Vincent Laporte' in GoogleThis author has not been identified. Look up 'Tiago Oliveira 0004' in Google

runs on WebDSL