1. Bardet, M., Faugère, J.-C., Salvy, B.: On the complexity of Gröbner basis computation of semi-regular overdetermined algebraic equations. In: Proceedings of International Conference on Polynomial System Solving (ICPSS, Paris, France), pp. 71–75 (2004)
2. Lecture Notes in Computer Science;A. Biryukov,2000
3. Lecture Notes in Computer Science;A. Biryukov,1999
4. Bogdanov, A.: Cryptanalysis of the KeeLoq block cipher,
http://eprint.iacr.org/2007/055
5. Bogdanov, A.: Attacks on the KeeLoq Block Cipher and Authentication Systems. In: 3rd Conference on RFID Security 2007, RFIDSec (2007)