@misc{indiciae483b8cbaef5e, title = {Middle-Solving F4 to Compute Grobner bases for Cryptanalysis over GF(2)}, author = {Heliang Huang and Wansu Bao}, year = {2013}, url = {https://arxiv.org/abs/1310.2332}, note = {Source identifier: 1310.2332} }