
Daniel Berend
Senior Academic
Enhancing Cold Boot Attacks with Probabilistic-Guided SAT-Solvers
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