Publications

You have no permission to see this content: institutions/maintenance

Please sign in.

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

AuthID
P-00T-82S

Author(s)

Laporte, V

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^®2

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.

You have no permission to see this content: institutions/maintenance

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

Useful Links

Get Help

Federated Authentication (Click on the image)

You have no permission to see this content: institutions/maintenance

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

Useful Links

Get Help