Bruno Martin
Présentation
Je travaille principalement sur les automates cellulaires (AC) introduits dans les années 1950 par von Neumann et Ulam. Il s’agit d’un ensemble d’automates finis (les cellules) qui communiquent entre eux selon une topologie régulière (ligne, grille essentiellement). L’évolution se fait en parallèle en appliquant de manière synchrone une règle locale. Cette règle prend en compte les plus proches voisins de chaque cellule. Je me suis intéressé à la calculabilité des AC en construisant un AC universel qui simule le fonctionnement de n’importe quel AC pourvu que sa fonction de transition soit totalistique. Ce résultat permet de considérer les AC comme un modèle de calcul parallèle. Ensuite, j’ai considéré la simulation des AC par différents modèles du calcul parallèle. D’abord par différents types de PRAM (CREW-PRAM et XPRAM), puis par différents types de machines spatiales (modèle introduit par Y. Feldman et E. Shapiro). Je considère des AC sur des graphes de Cayley finis en prolongeant des résultats de Zs. Róka. J’ai construit deux simulations d’un tore d’automates par un anneau d’automates. L’une d’entre elles permet de restreindre au minimum possible le nombre de copies des voisins. De plus, pour des valeurs particulières de largeur et de longueur du tore, nous montrons également que notre simulation fonctionne en temps optimal. En combinant ces résultats avec ceux obtenus par Zs. Róka, on peut aussi simuler un réseau hexagonal d’automates par un anneau d’automates. Je m’intéresse aux interactions entre la cryptologie et les AC. J’ai montré qu’il n’existe pas de règle non-linéaire d’AC élémentaire qui soit résliente. Ce résultat limite fortement l’usage d’AC élémentaires pour la construction de suites pseudo-aléatoires utilisables en cryptographie. J’étudie actuellement d’autres pistes pour construires des générateurs pseudo-aléatoires. Enfin, Je m’intéresse à l’utilisation de la cryptographie pour sécuriser les réseaux. J’ai conçu puis encadré un projet étudiant pour réaliser un protocole d’horodatage authentique. J’ai montré dans un article de vulgarisation comment utiliser des outils provenant du monde des logiciels libres pour construire à la volée de faux certificats pour réaliser une attaque du passeur de seau contre le protocole sécurisé SSL.Complexité des modèles du parallélisme
Automates cellulaires sur des graphes de Cayley
Génération de suites pseudo-aléatoires
Publications
Publications
|
|
Formal verification of the ETSI proposal on a standard QKD protocolGTMFS 2024, Apr 2024, Saint-Pierre-d'Oléron, France |
|
|
Vérification formelle de la proposition de l’ETSI sur un protocole de QKDRESSI 2024, May 2024, Eppe-Sauvage, France |
|
|
Exchanging Keys with Authentication and Identity Protection for Secure Voice Communication without Side-channelInternational Research Workshop on Computer Security & Cybersecurity Challenges (CSCC 2022), Polish Academy of Sciences; Wrocław University of Science and Technology, Poland, May 2022, Paris, France. ⟨10.5281/zenodo.6791340⟩ |
|
|
Introducing a Verified Authenticated Key Exchange Protocol over Voice Channels for Secure Voice Communication6th International Conference on Information Systems Security and Privacy, INSTICC, Feb 2020, Valletta, Malta. pp.683-690, ⟨10.5220/0009156506830690⟩ |
|
|
Un environnement de laboratoire sûr pour la pratique d'enseignements de sécuritéRendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2019, Erquy, France |
Randomness with Cellular AutomataDiscrete Models of Complex Systems, Mar 2018, Orléans, France |
|
Pseudo-random sequence generation with cellular automata6th International Workshop on Applications and Fundamentals of Cellular Automata, Nov 2018, Hida, Takayama, Japan |
|
An Intrinsically Universal Family of Causal Graph DynamicsMachines, Computations, and Universality, Sep 2015, Famagusta, Cyprus. pp.129-148, ⟨10.1007/978-3-319-23111-2_9⟩ |
|
|
|
Intrinsic Universality of Causal Graph DynamicsMachines, Computations and Universality, Sep 2013, Zürich, Switzerland. pp.137-149, ⟨10.4204/EPTCS.128.19⟩ |
|
|
Formal Analysis of ISO/IEC 9798-2 Authentication Standard using AVISPAAsia Joint Conference on Information Security, Jul 2013, Séoul, South Korea. pp.108-114, ⟨10.1109/ASIAJCIS.2013.25⟩ |
On radius 1 nontrivial reversible and number-conserving cellular automataReversible Computation, Jul 2012, Copenhagen, Denmark |
|
|
|
Towards a Trust and Reputation Framework for Social Web PlatformsConfederated International Workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012. Proceedings, Sep 2012, Rome, Italy. pp.13-22, ⟨10.1007/978-3-642-33618-8_3⟩ |
|
|
Computational Complexity of Avalanches in the Kadanoff Two-dimensional Sandpile ModelJournées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.121-132 |
|
|
Simulations between triangular and hexagonal number-conserving cellular automataInternational Workshop on Natural Computing, Sep 2008, Yokohama, Japan |
|
|
Neighborhood transformations on graph automataJAC 2008, Apr 2008, Uzès, France. pp.90-101 |
|
|
Pseudo-random Sequences Generated by Cellular AutomataInternational Conference on Relations, Orders and Graphs: Interactions with Computer Science, May 2008, Mahdia, Tunisia. pp.401-410 |
|
|
Pseudo-random sequences, boolean functions and cellular automataBoolean Functions: Cryptography & Applications, May 2008, Copenhague, Denmark. pp.80-95 |
|
|
Another Co*cryption MethodInternational Conference on Science and Technology (JICT), Mar 2007, Malaga, Spain. pp.CD-ROM |
|
|
Analyse des suites aléatoires engendrées par des automates cellulaires et applications à la cryptographieJournée de cryptanalyse et de sécurité de l'information, Mar 2007, Casablanca, Maroc |
|
|
Mixing Compression and CA EncryptionSAR-SSI, Jun 2007, Annecy, France. pp.255-266 |
|
|
A Walsh exploration of elementary CA rulesInternational Workshop on Cellular Automata, Sep 2006, Hiroshima, Japan. pp.25-30 |
|
|
Introducing a Verified Authenticated Key Exchange Protocol over Voice Channels for Secure Voice CommunicationsINSTICC. 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. SciTePress, ICISSP (1), pp.683-690, Proceedings of the 6th International Conference on Information Systems Security and Privacy. ⟨10.5220/0009156506830690⟩ |
Enciphered data/voice over real-time voice channelsEuropean School of Information Theory (ESIT 2019), Apr 2019, Sophia-Antipolis, France. |
|
Joint source-cryptographic-channel coding real-time secured voice communications on voice channelsSummer School on real-world crypto and privacy, Jun 2018, Sibenik, Croatia. |
On Radius 1 Nontrivial Reversible and Number-Conserving Cellular AutomataReversibility and Universality, 2018 |
|
Advances on Random Sequence Generation by Uniform Cellular AutomataComputing with New Resources, 8808, Springer Verlag, pp.56-70, 2014, Lecture Notes in Computer Science, 978-3-319-13349-2. ⟨10.1007/978-3-319-13350-8_5⟩ |
|
|
Simulations d'automates cellulairesMathématiques [math]. Université Nice Sophia Antipolis, 2005 |