Showing 1–11 of 11 results for author: Rodier, F

Periodic autocorrelation of sequences

Authors: Florian Caullery, Eric F Érard, François Rodier

Abstract: The autocorrelation of a sequence is a useful criterion, among all, of resistance to cryptographic attacks. The behavior of the autocorrelations of random Boolean functions (studied by Florian Caullery, Eric Férard and François Rodier [4]) shows that they are concentrated around a point. We show that the same is true for the evaluation of the periodic autocorrelations of random binary sequences. The autocorrelation of a sequence is a useful criterion, among all, of resistance to cryptographic attacks. The behavior of the autocorrelations of random Boolean functions (studied by Florian Caullery, Eric Férard and François Rodier [4]) shows that they are concentrated around a point. We show that the same is true for the evaluation of the periodic autocorrelations of random binary sequences. △ Less

Submitted 15 October, 2024; originally announced October 2024.

Journal ref: Cryptography and Communications--Discrete Structures, Boolean Functions, and Sequences, 2024, Volume 16 (2)

Arithmetic, Geometry, and Coding Theory: Homage to Gilles Lachaud

Authors: Sudhir R. Ghorpade, Christophe Ritzenthaler, François Rodier, Michael A. Tsfasman

Abstract: We give an overview of several of the mathematical works of Gilles Lachaud and provide a historical context. This is interspersed with some personal anecdotes highlighting many facets of his personality. We give an overview of several of the mathematical works of Gilles Lachaud and provide a historical context. This is interspersed with some personal anecdotes highlighting many facets of his personality. △ Less

Submitted 7 April, 2020; originally announced April 2020.

Comments: 21 pages

MSC Class: 01A70; 01A99; 11E45; 11E45; 11F12; 11F72; 11G20; 11G25; 11R58; 14H25; 14H42; 20G05; 22E45; 60B15; 94B05; 94B27

Non-linearity of the Carlet-Feng function, and repartition of Gauss sums

Authors: François Rodier

Abstract: The search for Boolean functions that can withstand the main crypyographic attacks is essential. In 2008, Carlet and Feng studied a class of functions which have optimal cryptographic properties with the exception of nonlinearity for which they give a good but not optimal bound. Carlet and some people who have also worked on this problem of nonlinearity have asked for a new answer to this problem.… ▽ More The search for Boolean functions that can withstand the main crypyographic attacks is essential. In 2008, Carlet and Feng studied a class of functions which have optimal cryptographic properties with the exception of nonlinearity for which they give a good but not optimal bound. Carlet and some people who have also worked on this problem of nonlinearity have asked for a new answer to this problem. We provide a new solution to improve the evaluation of the nonlinearity of the Carlet-Feng function, by means of the estimation of the distribution of Gauss sums. This work is in progress and we give some suggestions to improve this work. △ Less

Submitted 27 March, 2020; originally announced March 2020.

Distribution of the absolute indicator of random Boolean functions

Authors: Florian Caullery, François Rodier

Abstract: The absolute indicator is one of the measures used to determine the resistance offered by a Boolean function when used in the design of a symmetric cryptosystem. It was proposed along with the sum of square indicator to evaluate the quality of the diffusion property of block ciphers and hash functions. While the behaviour of the sum of square of random Boolean functions was already known, what rem… ▽ More The absolute indicator is one of the measures used to determine the resistance offered by a Boolean function when used in the design of a symmetric cryptosystem. It was proposed along with the sum of square indicator to evaluate the quality of the diffusion property of block ciphers and hash functions. While the behaviour of the sum of square of random Boolean functions was already known, what remained was the study of the comportment of the absolute indicator of random Boolean functions. As an application, we show that the absolute indicator can distinguish a nonrandom binary sequence from a random one. △ Less

Submitted 10 January, 2018; originally announced January 2018.

Error-Correction Capability of Reed-Muller codes

Authors: Stéphanie Dib, François Rodier

Abstract: We present an asymptotic limit between correctable and uncor-rectable errors on the Reed-Muller codes of any order. This limit is theoretical and does not depend of any decoding algorithm. We present an asymptotic limit between correctable and uncor-rectable errors on the Reed-Muller codes of any order. This limit is theoretical and does not depend of any decoding algorithm. △ Less

Submitted 2 February, 2015; v1 submitted 13 November, 2014; originally announced November 2014.

Some More Functions That Are Not APN Infinitely Often. The Case of Kasami exponents

Authors: François Rodier

Abstract: We prove a necessary condition for some polynomials of Kasami degree to be APN over F_{q^n} for large n. We prove a necessary condition for some polynomials of Kasami degree to be APN over F_{q^n} for large n. △ Less

Submitted 31 January, 2011; originally announced January 2011.

Comments: 10

Bounds on the degree of APN polynomials The Case of $x^{-1}+g(x)$

Authors: Gregor Leander, François Rodier

Abstract: We prove that functions $f:\f{2^m} \to \f{2^m}$ of the form $f(x)=x^{-1}+g(x)$ where $g$ is any non-affine polynomial are APN on at most a finite number of fields $\f{2^m}$. Furthermore we prove that when the degree of $g$ is less then 7 such functions are APN only if $m \le 3$ where these functions are equivalent to $x^3$. We prove that functions $f:\f{2^m} \to \f{2^m}$ of the form $f(x)=x^{-1}+g(x)$ where $g$ is any non-affine polynomial are APN on at most a finite number of fields $\f{2^m}$. Furthermore we prove that when the degree of $g$ is less then 7 such functions are APN only if $m \le 3$ where these functions are equivalent to $x^3$. △ Less

Submitted 27 January, 2009; originally announced January 2009.

On the small weight codewords of the functional codes C_2(Q), Q a non-singular quadric

Authors: Frédéric Edoukou, Anja Hallez, François Rodier, Leo Storme

Abstract: We study the small weight codewords of the functional code C_2(Q), with Q a non-singular quadric of PG(N,q). We prove that the small weight codewords correspond to the intersections of Q with the singular quadrics of PG(N,q) consisting of two hyperplanes. We also calculate the number of codewords having these small weights. We study the small weight codewords of the functional code C_2(Q), with Q a non-singular quadric of PG(N,q). We prove that the small weight codewords correspond to the intersections of Q with the singular quadrics of PG(N,q) consisting of two hyperplanes. We also calculate the number of codewords having these small weights. △ Less

Submitted 27 January, 2009; originally announced January 2009.

Non linéarité des fonctions booléennes données par des traces de polynômes de degré binaire 3

Authors: François Rodier, Eric Férard

Abstract: Nous étudions la non linéarité des fonctions définies sur F_{2^m} où $m$ est un entier impair, associées aux polynômes de degré 7 ou à des polynômes plus généraux. ----- We study the nonlinearity of the functions defined on F_{2^m} where $m$ is an odd integer, associated to the polynomials of degree 7 or more general polynomials. Nous étudions la non linéarité des fonctions définies sur F_{2^m} où $m$ est un entier impair, associées aux polynômes de degré 7 ou à des polynômes plus généraux. ----- We study the nonlinearity of the functions defined on F_{2^m} where $m$ is an odd integer, associated to the polynomials of degree 7 or more general polynomials. △ Less

Submitted 4 June, 2007; originally announced June 2007.

Borne sur le degré des polynômes presque parfaitement non-linéaires

Authors: François Rodier

Abstract: The vectorial Boolean functions are employed in cryptography to build block coding algorithms. An important criterion on these functions is their resistance to the differential cryptanalysis. Nyberg defined the notion of almost perfect non-linearity (APN) to study resistance to the differential attacks. Up to now, the study of functions APN was especially devoted to power functions. Recently, Bu… ▽ More The vectorial Boolean functions are employed in cryptography to build block coding algorithms. An important criterion on these functions is their resistance to the differential cryptanalysis. Nyberg defined the notion of almost perfect non-linearity (APN) to study resistance to the differential attacks. Up to now, the study of functions APN was especially devoted to power functions. Recently, Budaghyan and al. showed that certain quadratic polynomials were APN. Here, we will give a criterion so that a function is not almost perfectly non-linear. H. Janwa showed, by using Weil's bound, that certain cyclic codes could not correct two errors. A. Canteaut showed by using the same method that the functions powers were not APN for a too large value of the exponent. We use Lang and Weil's bound and a result of P. Deligne on the Weil's conjectures (or more exactly improvements given by Ghorpade and Lachaud) about surfaces on finite fields to generalize this result to all the polynomials. We show therefore that a polynomial cannot be APN if its degree is too large. △ Less

Submitted 2 May, 2008; v1 submitted 9 May, 2006; originally announced May 2006.

Comments: 19 pages

MSC Class: 94A60; 11T71; 14G50;

Sur la non-linearite des fonctions booleennes

Authors: Francois Rodier

Abstract: Boolean functions on the space $F_{2}^m$ are not only important in the theory of error-correcting codes, but also in cryptography, where they occur in private key systems. In these two cases, the nonlinearity of these function is a main concept. In this article, I show that the spectral amplitude of boolean functions, which is linked to their nonlinearity, is of the order of $2^{m/2}\sqrt{m}$ in… ▽ More Boolean functions on the space $F_{2}^m$ are not only important in the theory of error-correcting codes, but also in cryptography, where they occur in private key systems. In these two cases, the nonlinearity of these function is a main concept. In this article, I show that the spectral amplitude of boolean functions, which is linked to their nonlinearity, is of the order of $2^{m/2}\sqrt{m}$ in mean, whereas its range is bounded by $2^{m/2}$ and $2^m$. Moreover I examine a conjecture of Patterson and Wiedemann saying that the minimum of this spectral amplitude is as close as desired to $2^{m/2}$. I also study a weaker conjecture about the moments of order 4 of their Fourier transform. This article is inspired by works of Salem, Zygmund, Kahane and others about the related problem of real polynomials with random coefficients. △ Less

Submitted 27 June, 2003; originally announced June 2003.

MSC Class: Primaire: 11T71; secondaire: 06E30; 42A05; 94B75