Cryptology ePrint Archive: Report 2016/1068

Available versions in chronological order


A SAT-Based Algorithm for Finding Short Cycles in Shift Register Based Stream Ciphers
Elena Dubrova and Maxim Teslenko

A SAT-Based Algorithm for Finding Short Cycles in Shift Register Based Stream Ciphers
Elena Dubrova and Maxim Teslenko

On Finding Short Cycles in Cryptographic Algorithms
Elena Dubrova and Maxim Teslenko


[ Cryptology ePrint archive ]