CryptoMiniSAT Solver Based Algebraic Side-Channel Attack on PRESENT

Algebraic Side-Channel Attack (ASCA) is a very generic and effective cryptanalysis technique combined Algebraic Cryptanalysis and Side-Channel Attack (SCA). How to apply new solver and utilize the leakage information maximizly are hot spots. In this paper, we introduce a new SAT solver-CryptoMiniSAT into ASCA, and propose an effective method to represent Hamming weight leakages into Boolean equations. Experiment results demonstrate that: CryptoMiniSAT solver has better performance than traditional Minis at Solver, the proposed Hamming weight representing method can make full use of the leakages, only 9 rounds randomly leakages are enough to obtain the full key of PRESENT-80 with unknown plaintext/cipher text, which is better than 26 rounds of previous works.