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

AuthID
P-00T-82S
5
Author(s)
Laporte, V
·
3
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
Publication Identifiers
DBLP: conf/indocrypt/AlmeidaBBL020
SCOPUS: 2-s2.0-85098286727
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.