Security proof of the canonical form of self-synchronizing stream ciphers - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2015

Security proof of the canonical form of self-synchronizing stream ciphers

Résumé

This paper studies the security level expected by the canon-ical form of the Self-Synchronizing Stream Cipher (SSSC). A SSSC can be viewed as the combination of a shift register together with a filtering function. The maximum security of such a cipher is reached when the filtering function is random. However, in practice, Pseudo Random Functions (PRF) are used as filtering functions. In this case, it is shown that the security against chosen-ciphertext attacks (IND-CCA security) cannot be reached for the canonical form of the SSSC, but it is however secure against chosen plaintext attacks (IND-CPA secure). This result guarantees the existence of SSSC that can be IND-CPA secure although till now, the SSSC proposed in the open literature had be broken against IND-CPA attacks. The security proof lies on the property of indistin-guishability.
Fichier principal
Vignette du fichier
wcc15-mo1-2.pdf (277.63 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01259081 , version 1 (19-01-2016)
hal-01259081 , version 2 (17-02-2016)

Identifiants

  • HAL Id : hal-01259081 , version 2

Citer

Brandon Dravie, Philippe Guillot, Gilles Millérioux. Security proof of the canonical form of self-synchronizing stream ciphers. 9th International Workshop on Coding and Cryptography, WCC2015, Anne Canteaut, Gaëtan Leurent, Maria Naya-Plasencia, Apr 2015, Paris, France. ⟨hal-01259081v2⟩
205 Consultations
277 Téléchargements

Partager

More