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.