Publicações

Certified Compilation for Cryptography: Extended X86 Instructions and Constant-Time Verification

AuthID
P-00T-82S

Author(s)

Almeida, JB

Barbosa, M

Barthe, G

Laporte, V

Oliveira, T

Editor(es)

Bhargavan,K;Oswald,E;Prabhakaran,M

Tipo de Documento

Proceedings Paper

Year published

2020

Publicado

in Progress in Cryptology - INDOCRYPT 2020 - 21st International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 12578, Páginas: 107-127

Conference

21St International Conference on Cryptology in India, Indocrypt 2020, Date: 13 December 2020 through 16 December 2020

Indexing

Scopus^®

Dblp^®/pt/publications/view/860249

Crossref^®1

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-030-65277-7_6

DBLP: conf/indocrypt/AlmeidaBBL020

SCOPUS: 2-s2.0-85098286727

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Certified Compilation for Cryptography: Extended X86 Instructions and Constant-Time Verification

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Certified Compilation for Cryptography: Extended X86 Instructions and Constant-Time Verification

Links Úteis

Ajuda