{"id":"arxiv/2605.25756","url":"https://arxiv.org/abs/2605.25756","tags":["quant-ph"],"score":0,"title":"QGCL: Quantum-Guided Clause Learning for Cryptanalytic SAT","domain":"quant-ph","source":"arxiv","authors":["Walid El Maouaki","Alberto Marchisio","Muhammad Shafique"],"reviews":0,"subject":"quant-ph","summary":"Power side-channel attacks on AES exploit data-dependent physical leakage to recover secret keys, but turning noisy leakage observations into a verified AES-128 key remains a hard combinational search problem. SAT-assisted power side-channel cryptanalysis addresses this challenge by encoding AES semantics, key constraints, plaintext/ciphertext consistency, and leakage predicates as CNF, so that candidate keys must satisfy the exact cryptographic specification. These cryptanalytic SAT formulas are large and highly structured; our largest controlled AES-oriented power-SCA instances contain up…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-05-25","reactions":{}}