1. Cameron McDonald, Chris Charnes, and Josef Pieprzyk, An algebraic analysis of Trivium ciphers based on the boolean satisfiability problem, IACR (2007).[eprint]