Enhancing Cold Boot Attacks with Probabilistic-Guided SAT-Solvers. - Daniel Berend; Amit Cohen; Shahar Golan; Boris Tsirkin; Yochai Twitto; Itamar Zimerman (CANS, 2025)