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

Thumbnail Image
Files
P-00T-82S.pdf (451.65 KB)
Date
2020
Authors
Barthe,G
Tiago Filipe Oliveira
Laporte,V
José Bacelar Almeida
Manuel Barbosa
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/12116
Collections
HASLab - Indexed Articles in Conferences