Certified compilation for cryptography: extended x86 instructions and constant-time verification

DOI10.1007/978-3-030-65277-7_6OpenAlexW3112086696MaRDI QIDQ2152025

Yanyan Li

Publication date: 6 July 2022

Full work available at URL: http://hdl.handle.net/1822/71547

zbMATH Keywords

constant-time\textsc{simd}\textsc{supercop}certified compiler

Mathematics Subject Classification ID

Cryptography (94A60) Theory of compilers and interpreters (68N20) Data encryption (aspects in computer science) (68P25)

Cites Work

• System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory
• Robust Authenticated-Encryption AEZ and the Problem That It Solves
• An abstract memory functor for verified C static analyzers
• Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
• Programming Languages and Systems
• Program Logics for Certified Compilers
• Information Security and Cryptology - ICISC 2005

This page was built for publication: Certified compilation for cryptography: extended x86 instructions and constant-time verification