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

AuthID
P-00T-82S
5
Author(s)
Barthe, G
·
Laporte, V
·
3
Editor(s)
Bhargavan,K;Oswald,E;Prabhakaran,M
Document Type
Proceedings Paper
Year published
2020
Published in
21St International Conference on Cryptology in India, Indocrypt 2020 in: Progress in Cryptology - Indocrypt 2020 - 21St International Conference on Cryptology in India, Bangalore, India, December 13-16, 2020, Proceedings, 13 December 2020 through 16 December 2020
Volume 12578, Pages 107-127
Book Series: Lecture Notes in Computer Science  
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.