Abstract
The Internet of Things (IoT) and cloud computing rely on strong confidence in security of data privacy and confidentiality. Power side-channel information leakage remains an ongoing threat in untrusted environment, but its countermeasures require expert-level security knowledge for efficient implementation, limiting adoption. This work addresses this need by presenting the first high-level synthesis (HLS) flow with primary focus on side-channel leakage reduction. Minimal security annotation to the high-level C-code is sufficient to perform automatic analysis of security critical operations with corresponding insertion of countermeasures. Additionally, imbalanced branches are identified and balanced to shrink the possible attack surface. For practicality, the flow can meet both resource and information leakage constraints. The presented flow is extensively evaluated on established HLS benchmarks and a general IoT benchmark. Under identical resource constraints, leakage is reduced between 32 and 72% compared to the reference. Under leakage target, the constraints are achieved with 31-81% less resource overhead.
Original language | English (US) |
---|---|
Title of host publication | Behavioral Synthesis for Hardware Security |
Publisher | Springer |
Pages | 291-317 |
Number of pages | 27 |
ISBN (Electronic) | 9783030788414 |
ISBN (Print) | 9783030788407 |
DOIs | |
State | Published - Jan 1 2022 |
Externally published | Yes |
Keywords
- Differential power analysis
- Field programmable gate array
- High-level synthesis
- Security
- Side-channel attacks
- Side-channel leakage defenses
ASJC Scopus subject areas
- General Engineering
- General Computer Science