A Simpler Model for Recovering Superpoly on Trivium - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

A Simpler Model for Recovering Superpoly on Trivium

Résumé

The cube attack is a powerful cryptanalysis technique against symmetric primitives, especially for stream ciphers. One of the key step in a cube attack is recovering the superpoly. The division property has been introduced to cube attacks with the aim first to identify variables/monomials that are not involved in the superpoly. Recently, some improved versions of this technique allowing the recovery of the exact superpoly have been developed and applied on various stream ciphers [13,15]. In this paper, we propose a new model to recover the exact superpoly of a stream cipher given a cube. We model the polynomials involved in the stream cipher as a directed graph. It happens that this structure handles some of the monomial cancellations more easily than those based on division property, and this leads to better timing results. We propose two implementations of our model, one in MILP and one in CP, which are up to 10 times faster than the original division property-based model from Hao et al. [13], and consistently 30 to 60 times faster than the monomial prediction-based model from Hu et al. [15].
Fichier principal
Vignette du fichier
A Simpler Model for Recovering Superpoly on Trivium.pdf (563.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03534492 , version 1 (19-01-2022)

Identifiants

Citer

Stéphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'Homme. A Simpler Model for Recovering Superpoly on Trivium. SAC 2021: International Conference on Selected Areas in Cryptography, Sep 2021, Victoria, British-Columbia, Canada. pp.266-285, ⟨10.1007/978-3-030-99277-4_13⟩. ⟨hal-03534492⟩
78 Consultations
130 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More