Title A Framework for Automated Biclique Cryptanalysis of Block Ciphers
Abstract In this paper we introduce Janus, a software framework – written in Java – which is built to provide assistance in ﬁnding independent-biclique attacks for a user-chosen set of parameters, e.g., number of rounds and dimension of the biclique. Given a certain cipher, Janus does not only ﬁnd an optimal bipartite graph (biclique), but also provides an all-round carefree package including an optimal matching-with-precomputation step, rendering of the found biclique, the matching steps and computation of the attack complexity. We have used the Janus framework to verify existing results on the AES and ARIA. Additionally, by using this framework, we could ﬁnd the ﬁrst full-round biclique attacks on all versions of the AES-like cipher BKSQ.