Publicações

Certified Computer-Aided Cryptography: Efficient Provably Secure Machine Code from High-Level Implementations

AuthID
P-008-J03

Author(s)

Almeida, JB

Barbosa, M

Barthe, G

Dupressoir, F

Editor(es)

Ahmad-Reza Sadeghi; Virgil D. Gligor; Moti Yung

Tipo de Documento

Proceedings Paper

Year published

2013

Publicado

in Proceedings of the ACM Conference on Computer and Communications Security in ACM Conference on Computer and Communications Security, ISSN: 1543-7221

Páginas: 1217-1229

Conference

2013 Acm Sigsac Conference on Computer and Communications Security, Ccs 2013, Date: 4 November 2013 through 8 November 2013, Location: Berlin, Patrocinadores: ACM SIGSAC

Indexing