Certified compilation for cryptography: extended x86 instructions and constant-time verification
From MaRDI portal
Publication:2152025
DOI10.1007/978-3-030-65277-7_6OpenAlexW3112086696MaRDI QIDQ2152025
Publication date: 6 July 2022
Full work available at URL: http://hdl.handle.net/1822/71547
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