Q-LEAK uses Grover's algorithm on oracles encoding two-trace leakage CNFs to recover satisfying assignments for side-channel verification faster than classical SAT on small benchmarks.
Cryptominisat switches-optimization for solving cryptographic instances,
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
quant-ph 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
A hybrid quantum-classical SAT solver reduces conflicts by up to 86% on AES cryptanalytic instances by using Grover search on dynamically extracted subformulas.
citing papers explorer
-
Q-LEAK: Quantum-Based LEAKage Verification for Side-Channel Countermeasures
Q-LEAK uses Grover's algorithm on oracles encoding two-trace leakage CNFs to recover satisfying assignments for side-channel verification faster than classical SAT on small benchmarks.
-
QGCL: Quantum-Guided Clause Learning for Cryptanalytic SAT
A hybrid quantum-classical SAT solver reduces conflicts by up to 86% on AES cryptanalytic instances by using Grover search on dynamically extracted subformulas.