Publications

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

Bhargavan,K;Oswald,E;Prabhakaran,M

Document Type

Proceedings Paper

Year published

2020

Published

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, Pages: 107-127

Conference

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

Indexing

Scopus^®

Dblp^®/en/publications/view/860249

Crossref^®1

Google Scholar^®

Metadata
Sources

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

Marked List

Add to Marked List

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

Useful Links

Get Help

Federated Authentication (Click on the image)

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

Useful Links

Get Help