Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations

Thumbnail Image
Files
P-00G-ANW.pdf (449.52 KB)
Date
2013
Authors
Manuel Barbosa
José Bacelar Almeida
Barthe,G
Dupressoir,F
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/11851
Collections
HASLab - Indexed Articles in Journals