Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification | Publicación