High-Assurance Cryptography Software in the Spectre Era

Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire, Adrien Koutsos, Kevin Liao, Tiago Oliveira 0004, Swarn Priya, Tamara Rezk, Peter Schwabe. High-Assurance Cryptography Software in the Spectre Era. IACR Cryptology ePrint Archive, 2020:1104, 2020. [doi]

Authors

Gilles Barthe

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

Sunjay Cauligi

This author has not been identified. Look up 'Sunjay Cauligi' in Google

Benjamin Grégoire

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

Adrien Koutsos

This author has not been identified. Look up 'Adrien Koutsos' in Google

Kevin Liao

This author has not been identified. Look up 'Kevin Liao' in Google

Tiago Oliveira 0004

This author has not been identified. Look up 'Tiago Oliveira 0004' in Google

Swarn Priya

This author has not been identified. Look up 'Swarn Priya' in Google

Tamara Rezk

This author has not been identified. Look up 'Tamara Rezk' in Google

Peter Schwabe

This author has not been identified. Look up 'Peter Schwabe' in Google