]> AND Private Git Repository - 16dcc.git/blobdiff - intro.tex
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
Ajout diapos présentation PRNG
[16dcc.git] / intro.tex
index 10463ea2fcf14be284f605bb2cd583b7588d5bc0..83b0a5a8ef164e60eed52611fe7b56b88cd6c8fe 100644 (file)
--- a/intro.tex
+++ b/intro.tex
@@ -35,7 +35,7 @@ function  (\textit{i.e.},  $f  :  \{0,1\}^{\mathsf{N}}
 \rightarrow  \{0,1\}^{\mathsf{N}}$).
 These         generators          are         $\textit{CIPRNG}_f^1(u)$
 \cite{guyeuxTaiwan10,bcgr11:ip},            $\textit{CIPRNG}_f^2(u,v)$
-\cite{wbg10ip}             and             $\chi_{\textit{14Secrypt}}$
+\cite{wbg10ip},             and             $\chi_{\textit{14Secrypt}}$
 \cite{DBLP:conf/secrypt/CouchotHGWB14}    where   \textit{CI}    means
 \emph{Chaotic Iterations}.  We have firstly proven in~\cite{bcgr11:ip}
 that,    to    establish    the   chaotic    nature    of    algorithm
@@ -71,12 +71,12 @@ a doubly stochastic Markov matrix.
 
 However, the removed Hamiltonian cycle  
 has a great influence in the quality of the output.
-For instance, if this one one is not balanced (\textit{i.e.},
+For instance, if this one is not balanced (\textit{i.e.},
 the number of changes in different bits are completely different),
 some bits would be hard to switch.
 This article shows an effective algorithm that efficiently 
 implements the previous scheme and provides thus functions issued
-from removing in the $\mathsf{N}$-cube a \emph{balanced} Hamiltonian cycle. 
+from removing, in the $\mathsf{N}$-cube, a \emph{balanced} Hamiltonian cycle. 
 
 The length $b$ of the walk to reach a
 distribution close to the uniform one would be dramatically long.
@@ -88,8 +88,9 @@ suite is evaluated.
 
 
 
-
-The  remainder of  this  article  is organized  as  follows. The  next
+This article, which 
+is an extension of~\cite{DBLP:conf/secrypt/CouchotHGWB14}, 
+is organized  as  follows. The  next
 section   is   devoted   to  preliminaries,   basic   notations,   and
 terminologies   regarding   Boolean    map   iterations.    Then,   in
 Section~\ref{sec:proofOfChaos},  Devaney's  definition   of  chaos  is
@@ -99,14 +100,13 @@ Section~\ref{sec:SCCfunc}  recalls a general scheme
 to obtain functions with awaited behavior. Main theorems are recalled
 to make the document self-content. 
 The  next  section (Sect.~\ref{sec:hamilton}) presents an algorithm that
-implements this scheme and proves it always produces a solution.  
-This  is   the   second   major  contribution
-The  later section
-(Sect.~\ref{sec:hypercube}) defines the theoretical framework to study
-the  mixing-time,  \textit{i.e.},  time  until  reaching  a  uniform
+implements this scheme and proves that it always produces a solution.  
+This  is   the   second   major  contribution.
+Then, Section~\ref{sec:hypercube} defines the theoretical framework to study
+the  mixing-time,  \textit{i.e.},  time  until  reaching  an uniform
 distribution. It proves that this one is at worth quadratic in the number
-of elements. Experiments show that the bound is practically largely much
-lower. This  is   the   third   major  contribution.    The
+of elements. Experiments show that the bound is in practice largely much
+lower. This  is   the   third   major  contribution.  
 Section~\ref{sec:prng} gives practical results  on evaluating the PRNG
 against  the NIST  suite.  This  research  work ends  by a  conclusion
 section, where the contribution is summarized and intended future work