
Bruno Martin
Presentation
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
Publications
|
Formal verification of the ETSI proposal on a standard QKD protocolGTMFS 2024, Apr 2024, Saint-Pierre-d'Oléron, France
Conference papers
hal-04624766
v1
|
|
Vérification formelle de la proposition de l’ETSI sur un protocole de QKDRESSI 2024, May 2024, Eppe-Sauvage, France
Conference papers
hal-04624746
v1
|
|
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⟩
Conference papers
hal-03712146
v1
|
|
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⟩
Conference papers
hal-02863193
v1
|
|
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
Conference papers
hal-03169641
v1
|
Randomness with Cellular AutomataDiscrete Models of Complex Systems, Mar 2018, Orléans, France
Conference papers
hal-01741411
v1
|
|
Pseudo-random sequence generation with cellular automata6th International Workshop on Applications and Fundamentals of Cellular Automata, Nov 2018, Hida, Takayama, Japan
Conference papers
hal-01980216
v1
|
|
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⟩
Conference papers
hal-01218448
v1
|
|
|
Intrinsic Universality of Causal Graph DynamicsMachines, Computations and Universality, Sep 2013, Zürich, Switzerland. pp.137-149, ⟨10.4204/EPTCS.128.19⟩
Conference papers
hal-01218359
v1
|
|
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⟩
Conference papers
hal-01218351
v1
|
On radius 1 nontrivial reversible and number-conserving cellular automataReversible Computation, Jul 2012, Copenhagen, Denmark
Conference papers
hal-00826548
v1
|
|
|
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⟩
Conference papers
hal-00908805
v1
|
|
Computational Complexity of Avalanches in the Kadanoff Two-dimensional Sandpile ModelJournées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.121-132
Conference papers
hal-00542340
v1
|
|
Neighborhood transformations on graph automataJAC 2008, Apr 2008, Uzès, France. pp.90-101
Conference papers
hal-00273947
v1
|
|
Simulations between triangular and hexagonal number-conserving cellular automataInternational Workshop on Natural Computing, Sep 2008, Yokohama, Japan
Conference papers
hal-00315932
v1
|
|
Pseudo-random Sequences Generated by Cellular AutomataInternational Conference on Relations, Orders and Graphs: Interactions with Computer Science, May 2008, Mahdia, Tunisia. pp.401-410
Conference papers
hal-00305407
v1
|
|
Pseudo-random sequences, boolean functions and cellular automataBoolean Functions: Cryptography & Applications, May 2008, Copenhague, Denmark. pp.80-95
Conference papers
hal-00305493
v1
|
|
Another Co*cryption MethodInternational Conference on Science and Technology (JICT), Mar 2007, Malaga, Spain. pp.CD-ROM
Conference papers
hal-00301817
v1
|
|
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
Conference papers
hal-00296811
v1
|
|
Mixing Compression and CA EncryptionSAR-SSI, Jun 2007, Annecy, France. pp.255-266
Conference papers
hal-00304320
v1
|
|
A Walsh exploration of elementary CA rulesInternational Workshop on Cellular Automata, Sep 2006, Hiroshima, Japan. pp.25-30
Conference papers
hal-00305489
v1
|
|
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⟩
Conference poster
hal-03059639
v2
|
Enciphered data/voice over real-time voice channelsEuropean School of Information Theory (ESIT 2019), Apr 2019, Sophia-Antipolis, France.
Conference poster
hal-02337668
v1
|
|
Joint source-cryptographic-channel coding real-time secured voice communications on voice channelsSummer School on real-world crypto and privacy, Jun 2018, Sibenik, Croatia.
Conference poster
hal-02337657
v1
|
On Radius 1 Nontrivial Reversible and Number-Conserving Cellular AutomataReversibility and Universality, 2018
Book sections
hal-01741396
v1
|
|
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⟩
Book sections
hal-01218459
v1
|
|
Simulations d'automates cellulairesMathématiques [math]. Université Nice Sophia Antipolis, 2005
Habilitation à diriger des recherches
tel-00212057
v1
|