Skip to Main content Skip to Navigation
Theses

Cellular automata, boolean functions and combinatorial designs

Résumé : Le but de cette thèse est l'étude des Automates Cellulaires (AC) dans la perspective des fonctions booléennes et des dessins combinatoires. Au-delà de son intérêt théorique, cette recherche est motivée par ses applications à la cryptographie, puisque les fonctions booléennes et les dessins combinatoires sont utilisés pour construire des générateurs de nombres pseudo aléatoires (Pseudorandom Number Generators, PRNG) et des schémas de partage de secret (Secret Sharing Schemes, SSS). Les résultats présentés dans la thèse ont été développés sur trois lignes de recherche, organisées comme suit. La première ligne porte sur l'utilisation des algorithmes d'optimisation heuristique pour chercher des fonctions booléennes ayant des bonnes propriétés cryptographiques, à utiliser comme des règles locales dans des PRNG basés sur les AC. La motivation principale est l'amélioration du générateur de Wolfram basé sur la règle 30, qui a été montré être vulnérable vis à vis de deux attaques cryptanalytiques. La deuxième ligne s'occupe des fonctions booléennes vectorielles engendrées par les règles globales des AC. La première contribution considère la période des pré-images des configurations spatialement périodiques dans les AC surjectifs, et l'analyse des propriétés cryptographiques des règles globales des AC. La troisième ligne se concentre sur les dessins combinatoires engendrés par les AC, en considérant les Carrés Latins Orthogonaux (Orthogonal Latin Squares, OLS), qui sont équivalents aux SSS. En particulier, on donne une caractérisation algébrique des OLS engendrés par les AC linéaires, et on utilise des algorithmes heuristiques pour construire des OLS basés sur des AC non linéaires.
Document type :
Theses
Complete list of metadatas

Cited literature [205 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01812051
Contributor : Abes Star :  Contact
Submitted on : Monday, June 11, 2018 - 10:54:06 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:56 PM
Document(s) archivé(s) le : Wednesday, September 12, 2018 - 9:37:22 PM

File

2018AZUR4011.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01812051, version 1

Collections

Citation

Luca Mariot. Cellular automata, boolean functions and combinatorial designs. Automatic Control Engineering. Université Côte d'Azur; Università degli studi di Milano - Bicocca, 2018. English. ⟨NNT : 2018AZUR4011⟩. ⟨tel-01812051⟩

Share

Metrics

Record views

372

Files downloads

469