Parity (XOR) Reasoning for the Index Calculus Attack

Monika Trimoska, Sorina Ionica, Gilles Dequen

Cryptographic problems can often be reduced to solving Boolean polynomial systems, whose equivalent logical formulas can be treated using SAT solvers. Given the algebraic nature of…