1. http://www.gurobi.com/
2. http://www.sagemath.org/
3. Beaulieu, R., Shors, D., Smith, J., Treatman-Clark, S., Weeks, B., Wingers, L.: The SIMON and SPECK families of lightweight block ciphers. IACR Cryptology ePrint Archive 2013, 404 (2013)
4. Lecture Notes in Computer Science;A Biryukov,2001
5. Lecture Notes in Computer Science;A Bogdanov,2007