Paper 2024/533

HyCaMi: High-Level Synthesis for Cache Side-Channel Mitigation

Heiko Mantel, TU Darmstadt
Joachim Schmidt, TU Darmstadt
Thomas Schneider, TU Darmstadt
Maximilian Stillger, TU Darmstadt
Tim Weißmantel, TU Darmstadt
Hossein Yalame, TU Darmstadt
Abstract

Cache side-channels are a major threat to cryptographic implementations, particularly block ciphers. Traditional manual hardening methods transform block ciphers into Boolean circuits, a practice refined since the late 90s. The only existing automatic approach based on Boolean circuits achieves security but suffers from performance issues. This paper examines the use of Lookup Tables (LUTs) for automatic hardening of block ciphers against cache side-channel attacks. We present a novel method combining LUT-based synthesis with quantitative static analysis in our HyCaMi framework. Applied to seven block cipher implementations, HyCaMi shows significant improvement in efficiency, being 9.5$\times$ more efficient than previous methods, while effectively protecting against cache side-channel attacks. Additionally, for the first time, we explore balancing speed with security by adjusting LUT sizes, providing faster performance with slightly reduced leakage guarantees, suitable for scenarios where absolute security and speed must be balanced.

Note: Are programs automatically hardened using LUTs more efficient in performance compared to those automatically hardened with Boolean circuits, while retaining the same cache side-channel security? To address this question, we introduce HyCaMi, an innovative approach that merges LUT synthesis with quantitative side-channel analysis.

Metadata
Available format(s)
PDF
Category
Attacks and cryptanalysis
Publication info
Published elsewhere. Minor revision. 61st Design Automation Conference (DAC)
Keywords
HLS ToolsCache Side-Channel MitigationLUTs
Contact author(s)
mantel @ mais informatik tu-darmstadt de
joachim schmidt @ stud tu-darmstadt de
schneider @ encrypto cs tu-darmstadt de
maximilian stillger @ stud tu-darmstadt de
weissmantel @ mais informatik tu-darmstadt de
yalame @ encrypto cs tu-darmstadt de
History
2024-04-06: approved
2024-04-05: received
See all versions
Short URL
https://ia.cr/2024/533
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2024/533,
      author = {Heiko Mantel and Joachim Schmidt and Thomas Schneider and Maximilian Stillger and Tim Weißmantel and Hossein Yalame},
      title = {{HyCaMi}: High-Level Synthesis for Cache Side-Channel Mitigation},
      howpublished = {Cryptology {ePrint} Archive, Paper 2024/533},
      year = {2024},
      url = {https://eprint.iacr.org/2024/533}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.