Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/11851
Title: Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations
Authors: Manuel Barbosa
José Bacelar Almeida
Barthe,G
Dupressoir,F
Issue Date: 2013
Abstract: 
URI: http://repositorio.inesctec.pt/handle/123456789/11851
metadata.dc.type: Publication
article
Appears in Collections:HASLab - Indexed Articles in Journals

Files in This Item:
File Description SizeFormat 
P-00G-ANW.pdf449.52 kBAdobe PDFThumbnail
View/Open


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