TY  - RPRT
TI  - Middle-Solving F4 to Compute Grobner bases for Cryptanalysis over GF(2)
AU  - Heliang Huang
AU  - Wansu Bao
PY  - 2013
UR  - https://arxiv.org/abs/1310.2332
ID  - 1310.2332
ER  -