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.

Complexité des modèles du parallélisme

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).

Automates cellulaires sur des graphes de Cayley

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.

Génération de suites pseudo-aléatoires

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.

Publications

Article dans une revue (7)

Introducing a Novel Data over Voice Technique for Secure Voice Communication Piotr Krasnowski,Jerome Lebrun,Bruno Martin Wireless Personal Communications, 2022, ⟨10.1007/s11277-022-09503-6⟩ Article dans une revue hal-03446009v1
A novel distortion-tolerant speech encryption scheme for secure voice communication Piotr Krasnowski,Jerome Lebrun,Bruno Martin Speech Communication, 2022, ⟨10.1016/j.specom.2022.06.007⟩ Article dans une revue hal-03718862v1
On Goles’ universal machines: A computational point of view Bruno Martin Theoretical Computer Science, 2013, Discrete Mathematical Structures: From Dynamics to Complexity, 504, pp.83-88. ⟨10.1016/j.tcs.2013.04.024⟩ Article dans une revue hal-01217199v1
Computational Complexity of Avalanches in the Kadanoff Sandpile Model Eric Goles,Bruno Martin,Enrico Formenti Fundamenta Informaticae, 2012, 115 (1), pp.107-124. ⟨10.3233/FI-2012-643⟩ Article dans une revue hal-01217125v1
A walsh exploration of elementary CA rules Bruno Martin Journal of Cellular Automata, 2008, 3 (2), pp.145-156 Article dans une revue hal-00300231v1
A single-copy minimal-time simulation of a torus of automata by a ring of automata Bruno Martin,Claudine Peyrat Discrete Applied Mathematics, 2007, 155, pp.2130-2139. ⟨10.1014/j.dam.2007.05.019⟩ Article dans une revue hal-00296744v1
Universal Simulations by Spatial Machines Bruno Martin Journal of Cellular Automata, 2007, 2 (3), pp.203-217 Article dans une revue hal-00298560v1

Communication dans un congrès (21)

Formal verification of the ETSI proposal on a standard QKD protocol Thomas Prévost,Bruno Martin,Olivier Alibart GTMFS 2024, Apr 2024, Saint-Pierre-d'Oléron, France Communication dans un congrès hal-04624766v1
Vérification formelle de la proposition de l’ETSI sur un protocole de QKD Thomas Prévost,Bruno Martin,Olivier Alibart RESSI 2024, May 2024, Eppe-Sauvage, France Communication dans un congrès hal-04624746v1
Exchanging Keys with Authentication and Identity Protection for Secure Voice Communication without Side-channel Piotr Krasnowski,Jerome Lebrun,Bruno Martin International 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⟩ Communication dans un congrès hal-03712146v1
Introducing a Verified Authenticated Key Exchange Protocol over Voice Channels for Secure Voice Communication Piotr Krasnowski,Jerome Lebrun,Bruno Martin 6th International Conference on Information Systems Security and Privacy, INSTICC, Feb 2020, Valletta, Malta. pp.683-690, ⟨10.5220/0009156506830690⟩ Communication dans un congrès hal-02863193v1
Un environnement de laboratoire sûr pour la pratique d'enseignements de sécurité Bruno Martin Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2019, Erquy, France Communication dans un congrès hal-03169641v1
Pseudo-random sequence generation with cellular automata Bruno Martin 6th International Workshop on Applications and Fundamentals of Cellular Automata, Nov 2018, Hida, Takayama, Japan Communication dans un congrès hal-01980216v1
Randomness with Cellular Automata Bruno Martin Discrete Models of Complex Systems, Mar 2018, Orléans, France Communication dans un congrès hal-01741411v1
An Intrinsically Universal Family of Causal Graph Dynamics Simon Martiel,Bruno Martin Machines, Computations, and Universality, Sep 2015, Famagusta, Cyprus. pp.129-148, ⟨10.1007/978-3-319-23111-2_9⟩ Communication dans un congrès hal-01218448v1
Formal Analysis of ISO/IEC 9798-2 Authentication Standard using AVISPA Sheikh Ziauddin,Bruno Martin Asia Joint Conference on Information Security, Jul 2013, Séoul, South Korea. pp.108-114, ⟨10.1109/ASIAJCIS.2013.25⟩ Communication dans un congrès hal-01218351v1
Intrinsic Universality of Causal Graph Dynamics Bruno Martin,Simon Martiel Machines, Computations and Universality, Sep 2013, Zürich, Switzerland. pp.137-149, ⟨10.4204/EPTCS.128.19⟩ Communication dans un congrès hal-01218359v1
Towards a Trust and Reputation Framework for Social Web Platforms Thao Nguyen,Luigi Liquori,Bruno Martin,Karl Hanks Confederated 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⟩ Communication dans un congrès hal-00908805v1
On radius 1 nontrivial reversible and number-conserving cellular automata Bruno Martin,R. Saito,Katsunobu Imai Reversible Computation, Jul 2012, Copenhagen, Denmark Communication dans un congrès hal-00826548v1
Computational Complexity of Avalanches in the Kadanoff Two-dimensional Sandpile Model Eric Goles,Bruno Martin Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.121-132 Communication dans un congrès hal-00542340v1
Pseudo-random sequences, boolean functions and cellular automata Patrick Lacharme,Bruno Martin,Patrick Solé Boolean Functions: Cryptography & Applications, May 2008, Copenhague, Denmark. pp.80-95 Communication dans un congrès hal-00305493v1
Neighborhood transformations on graph automata Bruno Martin,Christophe Papazian JAC 2008, Apr 2008, Uzès, France. pp.90-101 Communication dans un congrès hal-00273947v1
Simulations between triangular and hexagonal number-conserving cellular automata Katsunobu Imai,Bruno Martin International Workshop on Natural Computing, Sep 2008, Yokohama, Japan Communication dans un congrès hal-00315932v1
Pseudo-random Sequences Generated by Cellular Automata Bruno Martin,Patrick Solé International Conference on Relations, Orders and Graphs: Interactions with Computer Science, May 2008, Mahdia, Tunisia. pp.401-410 Communication dans un congrès hal-00305407v1
Analyse des suites aléatoires engendrées par des automates cellulaires et applications à la cryptographie Bruno Martin Journée de cryptanalyse et de sécurité de l'information, Mar 2007, Casablanca, Maroc Communication dans un congrès hal-00296811v1
Mixing Compression and CA Encryption Bruno Martin SAR-SSI, Jun 2007, Annecy, France. pp.255-266 Communication dans un congrès hal-00304320v1
Another Co*cryption Method Bruno Martin International Conference on Science and Technology (JICT), Mar 2007, Malaga, Spain. pp.CD-ROM Communication dans un congrès hal-00301817v1
A Walsh exploration of elementary CA rules Bruno Martin International Workshop on Cellular Automata, Sep 2006, Hiroshima, Japan. pp.25-30 Communication dans un congrès hal-00305489v1

Poster de conférence (3)

Introducing a Verified Authenticated Key Exchange Protocol over Voice Channels for Secure Voice Communications Piotr Krasnowski,Jerome Lebrun,Bruno Martin INSTICC. 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⟩ Poster de conférence hal-03059639v2
Enciphered data/voice over real-time voice channels Piotr Krasnowski,Jerome Lebrun,Bruno Martin,Arnaud Graube European School of Information Theory (ESIT 2019), Apr 2019, Sophia-Antipolis, France. Poster de conférence hal-02337668v1
Joint source-cryptographic-channel coding real-time secured voice communications on voice channels Piotr Krasnowski,Bruno Martin,Jerome Lebrun Summer School on real-world crypto and privacy, Jun 2018, Sibenik, Croatia. Poster de conférence hal-02337657v1

Chapitre d'ouvrage (2)

On Radius 1 Nontrivial Reversible and Number-Conserving Cellular Automata Bruno Martin,Katsunobu Imai,Ryohei Saito Reversibility and Universality, 2018 Chapitre d'ouvrage hal-01741396v1
Advances on Random Sequence Generation by Uniform Cellular Automata Enrico Formenti,Katsunobu Imai,Bruno Martin,Jean-Baptiste Yunès Computing 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⟩ Chapitre d'ouvrage hal-01218459v1

HDR (1)

Simulations d'automates cellulaires Bruno Martin Mathématiques [math]. Université Nice Sophia Antipolis, 2005 HDR tel-00212057v1