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

Thumbnail Image
Date
2020
Authors
Barthe,G
Tiago Filipe Oliveira
Laporte,V
José Bacelar Almeida
Manuel Barbosa
Journal Title
Journal ISSN
Volume Title
Publisher