1 \newcommand{\etalchar}[1]{$^{#1}$}
2 \begin{thebibliography}{CCVHG16}
4 \bibitem[ABCVS05]{abcvs05}
5 A.~Abbas, J.~M. Bahi, S.~Contassot-Vivier, and M.~Salomon.
6 \newblock Mixing synchronism / asynchronism in discrete-state discrete-time
8 \newblock In {\em 4th Int. Conf. on Engineering Applications and Computational
9 Algorithms, DCDIS'2005}, pages 524--529, Guelph, Canada, July 2005.
10 \newblock ISSN 1492-8760.
12 \bibitem[BCG12]{bcg11:ij}
13 Jacques Bahi, Jean-Fran\c{c}ois Couchot, and Christophe Guyeux.
14 \newblock Steganography: a class of secure and robust algorithms.
15 \newblock {\em The Computer Journal}, 55(6):653--666, 2012.
17 \bibitem[BCGR11]{bcgr11:ip}
18 Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Adrien Richard.
19 \newblock On the link between strongly connected iteration graphs and chaotic
20 boolean discrete-time dynamical systems.
21 \newblock In {\em FCT'11, 18th Int. Symp. on Fundamentals of Computation
22 Theory}, volume 6914 of {\em LNCS}, pages 126--137, Oslo, Norway, August
25 \bibitem[BCGW11]{bcgw11:ip}
26 Jacques Bahi, Jean-Fran\c{c}ois Couchot, Christophe Guyeux, and Qianxue Wang.
27 \newblock Class of trustworthy pseudo random number generators.
28 \newblock In {\em INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet},
29 pages 72--77, Luxembourg, Luxembourg, June 2011.
31 \bibitem[BCVC10]{BCVC10:ir}
32 J.~M. Bahi, S.~Contassot-Vivier, and J.-F. Couchot.
33 \newblock Convergence results of combining synchronism and asynchronism for
34 discrete-state discrete-time dynamic network.
35 \newblock Research Report RR2010-02, LIFC - Laboratoire d’{I}nformatique de
36 l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}, May 2010.
38 \bibitem[CCVHG16]{ccgh16}
39 Jean-Fran\c{c}ois Couchot, Sylvain Contassot-Vivier, Pierre-Cyrille H\'eam, and
41 \newblock Random walk in a n-cube without hamiltonian cycle to chaotic
42 pseudorandom number generation: Theoretical and practical considerations.
43 \newblock {\em International Journal of Bifurcation and Chaos}, 2016.
44 \newblock Accepted on Oct 2016.
46 \bibitem[CHG{\etalchar{+}}14]{chgw+14:oip}
47 Jean-Fran\c{c}ois Couchot, Pierre-Cyrille H\'eam, Christophe Guyeux, Qianxue
48 Wang, and Jacques Bahi.
49 \newblock Pseudorandom number generators with balanced gray codes.
50 \newblock In {\em Secrypt 2014, 11th Int. Conf. on Security and Cryptography},
51 pages 469--475, Vienna, Austria, August 2014.
53 \bibitem[Cou10]{Cou10:ir}
55 \newblock Formal {C}onvergence {P}roof for {D}iscrete {D}ynamical {S}ystems.
56 \newblock Research Report RR2010-03, LIFC - Laboratoire d’{I}nformatique de
57 l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}, May 2010.
59 \bibitem[Guy10]{guyeuxphd}
61 \newblock {\em Le désordre des it\'erations chaotiques et leur utilit\'e en
62 sécurit\'e informatique}.
63 \newblock Th\`ese de {D}octorat, LIFC, Universit\'e de Franche-Comt\'e, 13
65 \newblock Rapporteurs~: Pascale Charpin, Directrice de Recherche,
66 INRIA-Rocquencourt ; Eric Filiol, Professeur, ESIEA-Laval ; Pierre Spitéri,
67 Professeur Emérite, IRIT-ENSEEIHT. Examinateurs~: Michel de Labachelerie,
68 Directeur de recherche CNRS, Université de Franche-Comté ; Laurent Larger,
69 Professeur, Université de Franche-Comté ; Jean-Claude Miellou, Professeur,
70 Université de Franche-Comté ; Congduc Pham, Professeur, Université de Pau.
71 Directeur~: Jacques M. Bahi, Professeur, Université de Franche-Comté.
73 \bibitem[Hol03]{Hol03}
75 \newblock {\em The SPIN Model Checker: Primer and Reference Manual}.
76 \newblock Addison-Wesley, Pearson Education, 2003.
78 \bibitem[ZS04]{ZanSup04}
79 A.~J.~van Zanten and I.~N. Suparta.
80 \newblock Totally balanced and exponentially balanced gray codes.
81 \newblock {\em Discrete Analysis and Operational Research}, 11:81--98, 2004.