Q-LEAK: Quantum-Based LEAKage Verification for Side-Channel Countermeasures
Q-LEAK is a quantum method using Grover's algorithm to formally verify power side-channel leakage in cryptographic circuits. It tackles the scaling issues of classical SAT solvers by encoding leakage constraints into a quantum oracle, aiming to find security violations with quadratic speedup over traditional brute-force search methods.