Certified compilation for cryptography: extended x86 instructions and constant-time verification (Q2152025)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Certified compilation for cryptography: extended x86 instructions and constant-time verification |
scientific article |
Statements
Certified compilation for cryptography: extended x86 instructions and constant-time verification (English)
0 references
6 July 2022
0 references
certified compiler
0 references
\textsc{simd}
0 references
\textsc{supercop}
0 references
constant-time
0 references
0 references
0 references
