Thèse et HDR

  1. B. Martin. Construction modulaire d’automates cellulaires. Thèse de doctorat, Ecole Normale Supérieure de Lyon et Université Claude Bernard, soutenue devant M. Nivat (Président), S. Grigorieff et Y. Métivier (Rapporteurs), M. Cosnard, E. Goles, J.-L. Roch (Examinateurs) et J. Mazoyer (Directeur), February 1993. 186 pages.
  2. B. Martin. Simulations d’automates cellulaires. Mémoire d’Habilitation à Diriger des Recherches, Université de Nice-Sophia Antipolis, soutenue devant R. Cori (Président et rapporteur), I. Guessarian et L. Vuillon (Rapporteurs), I. Bond, E. Formenti et J. Mazoyer (Examinateurs), April 2005. 70 pages.

Livres

  1. B. Martin. Codage, cryptologie et applications. Presses Polytechniques Universitaires Romandes, 2004. 350 pages.
  2. B. Martin, S. Riva (éd.). Informatique Mathématique, une photographie en 2022. Actes de l’EJCIM 2022.

Chapitres de livre

  1. E. Formenti, K. Imai, B. Martin and J-B. Yunès. Advances on Random Number Generation by Uniform Cellular Automata. In C.S. Calude et al (Eds), Gruska Festchrift, number 8808 in LNCS, pages 56-70, Springer, 2014.
  2. K. Imai, B. Martin and R. Sato. On Radius 1 Nontrivial Reversible and Number-Conserving Cellular Automata. IN A. Adamatzky (Ed). Reversibility and Universality, number 30 in Emergence, Complexity and Computation, pages 269-277, Springer, 2018.

Revues internationales

  1. B. Martin. Inherent generation of fractals. Complex Systems, 8(5):347-366, 1994.
  2. B. Martin. A universal cellular automaton in quasi-linear time and its S-m-n form. Theoretical Computer Science, 123:199-237, January 1994.
  3. B. Martin. Embedding torus automata into a ring of automata. Int. Journal of Found. of Comput. Sc., 8(4):425-431, 1997.
  4. C. Charnes, B. Martin, and P. Solé. A lattice-based McEliece scheme for encryption and signature. Electronic Notes in Discrete Mathematics, 6:10 pages, 2001. Special issue of Int. Workshop on coding and cryptography.
  5. B. Martin. A simulation of cellular automata on hexagons by cellular automata on rings. Theoretical Computer Science, 263(1-2):231-234, 2001.
  6. B. Martin. Universal simulations by spatial machines. Journal of Cellular Automata, 2:203-217, 2007.
  7. B. Martin and C. Peyrat. A single-copy minimal-time simulation of a torus of automata by a ring of automata. Discrete Applied Mathematics, 155:2130-2139, October 2007.
  8. B. Martin. A Walsh exploration of elementary CA rules. Journal of Cellular Automata, 3(2):145-156, 2008.
  9. E. Formenti, E. Goles, B. Martin. Computational complexity of avalanches in the Kadanoff sandpile model, Fundamenta Informaticae, 115 (1):107-124, 2012.
  10. B. Martin. On Goles’ Universal Machines: A Computational Point of View. Theoretical Computer Science, 504:83-88, 2013.
  11. P. Krasnowski, J. Lebrun, B. Martin. Introducing a Novel Data over Voice Technique for Secure Voice Communication, Wireless Personal Communications, 124, 3077-3103, 2022. doi
  12. P. Krasnowski, J. Lebrun, B. Martin. A novel distortion-tolerant speech encryption scheme for secure voice communication, Speech Communication, 2022. doi

Revue nationale

  1. B. Martin. Machines spatiales universelles. Techniques et Sc. Informatique, 5(14):551-566, 1995.

Autres revues

  1. B. Martin. Bien employer la certification. Programmation sous Linux, 1:62-66, 2005.
  2. B. Martin. Zertifizierung - die richtige Nützung. Programmieren unter Linux, 6:58-62, 2005.

Conférences internationales

  1. B. Martin. Efficient unidimensional universal cellular automaton. In MFCS’92, number 629 in LNCS, pages 374-382. Springer Verlag, 1992.
  2. B. Martin. A uniform universal CREW PRAM. In MFCS’93, number 711 in LNCS, pages 557-565. Springer Verlag, 1993.
  3. B. Martin. Cellular automata universality revisited. In FCT’97, number 1279 in LNCS, pages 329-339. Springer Verlag, 1997.
  4. B. Martin. BSP simulation of cellular automata. In N. Callaos, T. Yang, and J. Aguilar, editors, SCI’98/ISAS’98, volume 2, pages 701-705. IIIS Press, 1998.
  5. B. Martin. A parallel simulation of cellular automata by spatial machines. In EuroPar’99, volume 1685 of LNCS, pages 557-560. Springer Verlag, 1999.
  6. F. Hoza, B. Martin, and C. Monor. An approach of non-uniform automata arrays. In M. H. Hamza, editor, IASTED International Conference on Modelling and Simulation. Acta Press, 2000. 6 pages.
  7. C. Charnes, B. Martin, and P. Solé. A lattice-based McEliece scheme for encryption and signature. In D. Augot and C. Carlet, editors, Int. Workshop on coding and cryptography, pages 497-506. Ecoles de Coëtquidan, 2001.
  8. B. Martin. Mixing compression and CA encryption. In A. Bonnecaze, J. Leneutre, and R. State, editors, SAR-SSI 2007, pages 255-266. Université Jean Moulin, Lyon 3, 2007.
  9. P. Lacharme, B. Martin, and P. Solé. Pseudo-random sequences, boolean functions and cellular automata. In Boolean Functions and Cryptographic Applications, 2008. A paraître.
  10. B. Martin and P. Solé. Pseudo-random sequences generated by cellular automata. In Y. Boudabbous and N. Zaguia, editors, ROGICS’08, pages 401-410. Nouha Editions, 2008.
  11. B. Martin and Ch. Papazian. Neighborhood transformations on graph automata. In B. Durand, editor, Journées Automates Cellulaires, pages 91-101, April 2008.
  12. K. Imai and B. Martin. Simulations between triangular and hexagonal number-conserving cellular automata. In Y. Suzuki, A. Adamatzky, M. Hagiya, and H. Umeo, editors, Proceedings of the 3d International Workshop on Natural Computing, september 2008.
  13. E. Goles and B. Martin. Computational complexity of avalanches in the Kadanoff two-dimensional sandpile model. In Journées Automates Cellulaires, pages 121-132, December 2010.
  14. K. Imai, B. Martin and R. Saito. On radius 1 nontrivial reversible and number-conserving cellular automata. In Reversible Computation 2012, to appear, july 2012.
  15. T. Nguyen, L. Liquori, B. Martin, K. Hanks. A Trust and reputation framework for social web platforms: research agenda and preliminary model. In OTM Academy, number 7567 in LNCS , pages 13-22, Springer Verlag, 2012.
  16. Sheikh Ziauddin and B. Martin. Formal Analysis of ISO/IEC 9798-2 Authentication Standard using AVISPA, accepted at AsiaJCIS, 2013.
  17. S. Martiel and B. Martin. Intrinsic Universality of Causal Graphs Dynamics, MCU, pages 137-149, Electronic Proc. in Theoretical Computer Science, vol. 128, 2013.
  18. S. Martiel and B. Martin. An intrinsically universal family of causal graph dynamics, accepted at MCU, 2015.
  19. B. Martin. Pseudo-random sequence generation with cellular automata. Conférence invitée à AFCA-CANDAR 2018
  20. P. Krasnowski, J. Lebrun and B. Martin. Introducing a Verified Authenticated Key Exchange Protocol over Voice Channels for Secure Voice Communication. ICISSP 2020, pages 683-690, doi:10.5220/0009156506830690
  21. P. Krasnowski, J. Lebrun and B. Martin. Exchanging Keys with Authentication and Identity Protection for Secure Voice Communication without Side-channel, Workshop on Computer Security & Cybersecurity Challenges 2022
  22. B. Martin. Randomness Quality and Trade-Offs for CA Random String Generators, Reachability Problems, Lecture Notes in Computer Science 14235, Springer pp3-12, 2023.

Conférences nationales

  1. B. Martin. Machines spatiales universelles. In L. Bougé, M. Cosnard, and P. Fraigniaud, editors, Actes des 6 èmes Rencontres Francophones du Parallélisme, pages 55-58. Ecole Normale Supérieure de Lyon, June 1994.
  2. B. Martin. Another co*cryption method. In International Science and Technology Conference (JICT), Instituto de Nuevas Tecnologias de la Informacion y Comunicacion, Universidad de Malaga, March 2007. 4 pages.
  3. B. Martin. Analyse des suites aléatoires engendrées par des automates cellulaires et applications à la cryptographie. In Journée de cryptanalyse et sécurité de l’information JCSSI 2007. Association Marocaine de Cryptographie, March 2007. 7 pages.
  4. B. Martin. Générateurs pseudo-aléatoires pour l’informatique. In Workshop Codes, Cryptologie et leurs mathématiques, pp 26-28. Univ. Moulay Ismaïl, April 2010. 3 pages.
  5. B. Martin. Un environnement de laboratoire sûr pour la pratique d’enseignements de sécurité, RESSI 2019, mai 2019.
  6. T. Prévost, B. Martin, O. Alibart. Vérification formelle de la proposition de l’ETSI sur un protocole de QKD. RESSI 2024, 2024

Posters

  1. P. Krasnowski, B. Martin and J. Lebrun. Enciphered data/voice over real-time voice channels, European School of Information Theory (ESIT 2019), 2019.
  2. P. Krasnowski, B. Martin and J. Lebrun. Joint source-cryptographic-channel coding real-time secured voice communications on voice channels, Summer School on real-world crypto and privacy, 2019.

Autres conférences

  1. B. Martin. Intrinsic universal computation of one dimensional cellular automata. In Workshop on Cellular Automata. Center for Scientific Computing Helsinki, April 1991. 16 pages.
  2. B. Martin. Building sierpinski carpet by cellular automata. In D. Parkinson, editor, One-day meeting on celular automata, London, February 1992. Imperial College. 18 pages.
  3. B. Martin. Comparisons of universal abstract machines. In D. Parkinson, editor, One-day meeting on celular automata, London, February 1992. Imperial College. 22 pages.
  4. B. Martin. Self-similar fractals can be generated by cellular automata. In Cellular automata and cooperative systems, pages 463-471. Kluwer, 1993.
  5. B. Martin. An intrinsic universal cellular automaton. In Workshop on cellular automata, Dagstuhl, 1995. 1 page.
  6. B. Martin. Cellular automata and spatial machines. In International Workshop on Cellular Automata, pages 54-57, Schloss Rauischholzhausen, 1996.
  7. B. Martin. Simulation results for cellular automata on Cayley graphs. In Int. Workshop on Combinatorics and Computer Science, pages 58-59. Ecole Polytechnique, 1997. 10th. Franco-Japanese and Franco-Chinese Conference.
  8. B. Martin and C. Peyrat. On the simulation of CA on torus by CA on rings. In Sixth International Workshop on Cellular Automata (IFIP WG 1.5), pages 50-51, Osaka University, Japan, September 2000.
  9. B. Martin. A Walsh exploration of Wolfram CA rules. In International Workshop on Cellular Automata, pages 25-30, Hiroshima University, Japan, September 2006.
  10. B. Martin. Générateurs pseudo-aléatoire à base de courbes elliptiques. Journées C2, Fréjus, 2009.
  11. B. Martin. On Goles Universal Machines. In DiSCo. Valparaiso, Chili, 2011.
  12. E. Formenti, K. Imai, B. Martin and J-B. Yunès. On 1-resilient, radius 2 elementary CA rules. In Automata 2011 pages 41-54, 2011.
  13. B. Martin. Ce que la cryptologie doit à Shannon. A l’occasion du centenaire de la naissance de Shannon, video, 2017.
  14. B. Martin. Randomness with CA. Discrete Models of Complex Systems, 2018.
  15. B. Martin. Applied cryptography with quantum, post-quantum and traditional insights: a popularization talk. UCA-Majulab Workshop, 2023.
  16. T. Prévost, B. Martin, O. Alibart. Formal verification of the ETSI proposal on a standard QKD protocol. GT méthodes formelles en sécurité du GDR sécurité, 2024.

Communications

  1. B. Martin. Computation theoretic aspects of cellular automata. Colloque de complexité algébrique en mémoire de Jacques Morgenstern, INRIA Sophia Antipolis, 1995.
  2. B. Martin. Machine parallèle à registres universelle. Journée maths discrètes, Lyon I, November 1995.
  3. B. Martin. Embedding torus cellular automata into rings of automata. Journées graphes d’automates, Roanne, 1995.
  4. B. Martin. On the model complexity of some models of parallelism. École d’été Paradis, Sinaia (Roumanie), 1995.
  5. B. Martin. Enumération d’automates cellulaires et complexité de Kolmogorov. Journées du PRC Mathématiques et Informatique, Marseille, 1997.
  6. B. Martin. Machines universelles, formes et conséquences. Séminaire du LIM, Marseille, December 1997.
  7. B. Martin. Three different kinds of universal machines. École d’été Paradis, Mangalia (Roumanie), 1997.
  8. B. Martin. Présentation de la cryptologie. Petits déjeûners de la Fondation Sophia Antipolis sur La cryptographie, état de la technique et de la réglementation, July 1998.
  9. B. Martin. La cryptologie. Journée I3S/industrie, Sophia Antipolis, October 1998.
  10. B. Martin. Simulation results for spatial machines. Frontiers Between Decidability and Undecidability, a satellite event of MFCS’98, Brno (Rép. Tchèque), 1998.
  11. B. Martin. Clefs publiques et complexité. Séminaire Pass’Partout, Laboratoire J-A. Dieudonné, March 2002.
  12. B. Martin. Quelques modèles de calcul parallèle, simulations et universalité. Journées de l’action spécifique Nouveaux modèles de calcul: Algorithmes et Complexité, ENS-Lyon, 2002.
  13. B. Martin. Simulations de tores d’automates. Journées de l’action spécifique Nouveaux modèles de calcul: Algorithmes et Complexité, Institut H. Poincarré, 2002.
  14. B. Martin. Clefs publiques et complexité; la fin de RSA? Conférencier invité, Journées scientifiques de sécurité de l’information et cryptographie, Université Sidi Mohamed Ben Abdellah, Fès, Maroc, 2005.
  15. B. Martin. Applications de la cryptographie à la sécurité des réseaux. Conférencier invité, Journées scientifiques de sécurité de l’information et cryptographie, Université Sidi Mohamed Ben Abdellah, Fès, Maroc, 2005.
  16. B. Martin. Génération d’aléa par AC : remarques et défis. Journées FRAC; ENS-Lyon, 2006.
  17. B. Martin. Automates cellulaires et génération pseudo-aléatoire, rencontre programmation sur automates cellulaires, LIAFA, 2008.
  18. B. Martin. L’aléatoire et l’informatique. Journées ski-étude de l’ENS-Lyon, Le Pleynet, 2009.
  19. B. Martin. L’aléatoire en informatique. Groupe de travail ARITH, LIRMM, Montpellier, 2009.
  20. B. Martin. L’aléatoire et l’informatique. Journées du pôle MDSC, I3S, Sophia Antipolis, 2009.
  21. B. Martin. Génération déterministe de suites aléatoires. Séminaire GRIM, Toulon, 2009.
  22. E. Formenti, E. Goles, B. Martin. Computational complexity of avalanches in the Kadanoff sandpile model, Workshop on Sand Pile models and generalizations. LIAFA Paris, avril 2011.
  23. B. Martin. Randomness, Computer Science and Cellular Automata. Séminaire au Foundation of Computer Science Laboratory. Hiroshima University, mai 2011.
  24. B. Martin. Randomness, Computer Science and Cellular Automata. Faculty of Information Science and Technology, University of Osaka Electro-Communication, mai 2011.
  25. B. Martin. Classification des règles de rayon 2 d’automates cellulaires élémentaires vis à vis de la résilience. Séminaire MC3, décembre 2011.
  26. B. Martin. Randomness with CA. Journée aléa et génération de nombres pseudo-aléatoires, I3S, février 2018.
  27. B. Martin. Distribution de clé quantique pour l’informatique. InPhyNi, mars 2021.
  28. B. Martin. Menaces et risques informatiques, CLUSIR, 2021.
  29. B. Martin. From Universality to Randomness. C@fé ADSTIC, mars 2022.
  30. B. Martin. De l’universalité à l’aléatoire. Colloquium LJAD, mai 2022.
  31. B. Martin. Pseudo-random sequence generation with CA, Univ. Luxembourg, juin 2022.
  32. B. Martin. Simulations d’automates sur des graphes de Cayley. Journée de pôle I3S, 2023.
  33. B. Martin. La protection des échanges de données. Conférence sur la régulation des innovations totales. DL4T, Faculté de droit, Univ. Côte d’Azur, 2023.
Coordonnées

Recherche:
Laboratoire I3S,
CNRS-UMR 7271, BP 121,
2000 route des lucioles,
06903 Sophia Antipolis cedex
tel: 04 89 15 43 58
[Plan d'accès]

Enseignement:
U.P. informatique,
Parc Valrose,
06108 Nice cedex 2
tel: 04 89 15 04 20
[Plan d'accès]

CNRS

GPG key