An Enhanced Binary Characteristic Set Algorithm and Its Applications to Algebraic Cryptanalysis. - Sze Ling Yeo; Zhen Li; Khoongming Khoo; Yu Bin Low (ACNS, 2017)