Daniel Berend

Senior Academic

Enhancing Cold Boot Attacks with Probabilistic-Guided SAT-Solvers

Daniel Berend, Amit Cohen, Shahar Golan, Boris Tsirkin, Yochai Twitto, Itamar Zimerman

A fundamental component of a Cold Boot Attack involves a reconstruction algorithm for recovering corrupted encryption keys. This paper introduces a novel heuristic designed to significantly augment the efficiency of such algorithms. Our work illustrates the heuristic’s capacity to streamline key reconstruction across various encryption key types and integrates it into an AES Encryption key reconstruction algorithm. Subsequently, we perform an empirical assessment to gauge the performance of this algorithm compared to current state-of-the-art methods.

Publication language English
Pages 581-590
Publication status Published - 01.01.2026

Keywords

AES
Cold Boot Attack
Side-Channel Attack

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science