Solving Trivium-based Boolean Equations Using the Method of Syllogisms
Pavol Zajac · Fundamenta Informaticae · 2012
The article examines a practical application of the method of syllogisms to solve a system of Boolean equations arising in the cryptanalysis of the stream cipher Trivium. Experimental results show that different guessing strategies lead to significan