Security Evaluation Against Side-Channel Analysis at Compilation Time (Q3294874)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Security Evaluation Against Side-Channel Analysis at Compilation Time |
scientific article |
Statements
Security Evaluation Against Side-Channel Analysis at Compilation Time (English)
0 references
29 June 2020
0 references
cryptographic code
0 references
compilation
0 references
intermediate representation (IR)
0 references
static single assignment (SSA)
0 references
side-channel analysis
0 references
masking protection
0 references
compositional countermeasure
0 references
formal analysis
0 references
optimal side-channel attacks
0 references
Taylor expansion of distinguishers
0 references