1. Aumasson, J.P., Meier, W.: Zero-sum distinguishers for reduced Keccak-
$$f$$
and for the core functions of Luffa and Hamsi. CHES rump session (2009)
2. Bertoni, G., Daemen, J., Peeters, M., Van Assche, G.: Keccak Specifications. Submission to NIST (Round 3) (2011).
http://keccak.noekeon.org
3. Biere, A.: Lingeling, Plingeling and Treengeling entering the SAT Competition 2013. In: Balint, A., Belov, A., Heule, M., Järvisalo, M. (eds.) SAT competition 2013. vol. B-2013-1, pp. 51–52 (2013).
http://fmv.jku.at/lingeling/
4. Lecture Notes in Computer Science;E Biham,2002
5. Lecture Notes in Computer Science;E Biham,1991