Mixed-integer Linear Programming in the Analysis of Trivium and Ktantan

Julia Borghoff. Mixed-integer Linear Programming in the Analysis of Trivium and Ktantan. IACR Cryptology ePrint Archive, 2012:676, 2012. [doi]

Abstract

Abstract is missing.