Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/12116
Title: Certified Compilation for Cryptography: Extended x86 Instructions and Constant-Time Verification
Authors: Barthe,G
Tiago Filipe Oliveira
Laporte,V
José Bacelar Almeida
Manuel Barbosa
Issue Date: 2020
Abstract: 
URI: http://repositorio.inesctec.pt/handle/123456789/12116
metadata.dc.type: Publication
conferenceObject
Appears in Collections:HASLab - Indexed Articles in Conferences

Files in This Item:
File Description SizeFormat 
P-00T-82S.pdf451.65 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.