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

AuthID
 P-008-J03
4
Author(s)
Dupressoir, F
Tipo de Documento
Proceedings Paper
Year published
2013
Publicado
in CCS, ISSN: 15437221
Páginas: 1217-1230 (12)
Indexing
Scopus®
Dblp®/pt/publications/view/280579
Crossref®29
Google Scholar®
Publication Identifiers
DBLP: conf/ccs/AlmeidaBBD13
SCOPUS: 2-s2.0-84889046183
Source Identifiers
ISSN: 15437221
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service