Publications

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(s)

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

Document Type

Proceedings Paper

Year published

2013

Published

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

Pages: 1217-1229

Conference

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

Indexing