Sihem Mesnager

Université Paris 13 Nord, Île-de-France, France

Are you Sihem Mesnager?

Claim your profile

Publications (44)25.86 Total impact

  • Jian Liu · Sihem Mesnager · Lusheng Chen
    [Show abstract] [Hide abstract]
    ABSTRACT: For multi-output Boolean functions (also called S-boxes), various measures of nonlinearity have been widely discussed in the literature but many problems are left open in this topic. The purpose of this paper is to present a new approach to estimating the nonlinearity of S-boxes. A more fine-grained view on the notion of nonlinearity of S-boxes is presented and new connections to some linear codes are established. More precisely, we mainly study the nonlinearity indicator (denoted by \(\mathcal {N}_{\mathrm {v}}\)) for S-boxes from a coding theory point of view. Such a cryptographic parameter \(\mathcal {N}_{\mathrm {v}}\) is more related to best affine approximation attacks on stream ciphers. We establish a direct link between \(\mathcal {N}_{\mathrm {v}}\) and the minimum distance of the corresponding linear code. We exploit that connection to derive the first general lower bounds on \(\mathcal {N}_{\mathrm {v}}\) of non-affine functions from \(\mathbb {F}_{2^{n}}\) to \(\mathbb {F}_{2^{m}}\) for m dividing n. Furthermore, we show that \(\mathcal {N}_{\mathrm {v}}\) can be determined directly by the weight distribution of the corresponding linear code.
    No preview · Article · Jan 2016 · Cryptography and Communications
  • Claude Carlet · Sihem Mesnager
    [Show abstract] [Hide abstract]
    ABSTRACT: In this survey, we revisit the Rothaus paper and the chapter of Dillon’s thesis dedicated to bent functions, and we describe the main results obtained on these functions during these last 40 years. We also cover more briefly super-classes of Boolean functions, vectorial bent functions and bent functions in odd characteristic.
    No preview · Article · Dec 2015 · Designs Codes and Cryptography
  • Sihem Mesnager
    [Show abstract] [Hide abstract]
    ABSTRACT: A Boolean function with an even number of variables is called bent if it is maximally nonlinear. This paper extends the recent work of the author on bent functions (“Several new infinite families of bent functions and their duals”, IEEE-IT, 60(7), pp. 4397-4407, 2014). We exhibit several new infinite families of bent functions with their dual (bent) functions. Some of them are obtained via new infinite families of permutations that we provide with their compositional inverses. We introduce secondary-like constructions of permutations leading to the construction of several families of bent functions.
    No preview · Article · Jul 2015 · Cryptography and Communications
  • Sihem Mesnager
    [Show abstract] [Hide abstract]
    ABSTRACT: Bent functions are optimal combinatorial objects. Since their introduction, substantial efforts have been directed toward their study in the last three decades. A complete classification of bent functions is elusive and looks hopeless today, therefore, not only their characterization, but also their generation are challenging problems. This paper is devoted to the construction of bent functions. First, we provide several new effective constructions of bent functions, self-dual bent functions, and antiself-dual bent functions. Second, we provide seven new infinite families of bent functions by explicitly calculating their dual.
    No preview · Article · Jul 2014 · IEEE Transactions on Information Theory
  • Sihem Mesnager
    [Show abstract] [Hide abstract]
    ABSTRACT: The main topics and interconnections arising in this paper are symmetric cryptography (S-boxes), coding theory (linear codes) and finite projective geometry (hyperovals). The paper describes connections between the two main areas of information theory on the one side and finite geometry on the other side. Bent vectorial functions are maximally nonlinear multi-output Boolean functions. They contribute to an optimal resistance to both linear and differential attacks of those symmetric cryptosystems in which they are involved as substitution boxes (S-boxes). We firstly exhibit new connections between bent vectorial functions and the hyperovals of the projective plane, extending the recent link between bent Boolean functions and the hyperovals. Such a link provides several new classes of optimal vectorial bent functions. Secondly, we exhibit surprisingly a connection between the hyperovals of the projective plane in even characteristic and \(q\) -ary simplex codes. To this end, we present a general construction of classes of linear codes from o-polynomials and study their weight distribution proving that all of them are constant weight codes. We show that the hyperovals of \(PG_{2}(2^m)\) from finite projective geometry provide new minimal codes (used in particular in secret sharing schemes, to model the access structures) and give rise to multiples of \(2^r\) -ary ( \(r\) being a divisor of \(m\) ) simplex linear codes (whose duals are the perfect \(2^r\) -ary Hamming codes) over an extension field \({\mathbb F}_{2^{r}}\) of \({\mathbb F}_{2^{}}\) . The following diagram gives an indication of the main topics and interconnections arising in this paper.
    No preview · Article · Jun 2014 · Designs Codes and Cryptography
  • Sihem Mesnager
    [Show abstract] [Hide abstract]
    ABSTRACT: Plateaued functions were introduced in 1999 by Zheng and Zhang as good candidates for designing cryptographic functions since they possess desirable various cryptographic characteristics. They are defined in terms of the Walsh–Hadamard spectrum. Plateaued functions bring together various nonlinear characteristics and include two important classes of Boolean functions defined in even dimension: the well-known bent functions and the semi-bent functions. Bent functions (including their constructions) have been extensively investigated for more than 35 years. Very recently, the study of semi-bent functions has attracted the attention of several researchers. Much progress in the design of such functions has been made. The chapter is devoted to certain plateaued functions. The focus is particularly on semi-bent functions defined over the Galois field \(\mathbb{F}_{2^{n}}\) (n even). We review what is known in this framework and investigate constructions.
    No preview · Chapter · Jan 2014
  • Source
    Gérard Cohen · Sihem Mesnager

    Preview · Chapter · Jan 2014
  • David Auger · Gérard Cohen · Sihem Mesnager
    [Show abstract] [Hide abstract]
    ABSTRACT: In any connected, undirected graph G = (V, E), the distance d(x, y) between two vertices x and y of G is the minimum number of edges in a path linking x to y in G. A sphere in G is a set of the form S r (x) = {y ∈ V : d(x, y) = r}, where x is a vertex and r is a nonnegative integer called the radius of the sphere. We first address in this paper the following question: What is the minimum number of spheres with fixed radius r ≥ 0 required to cover all the vertices of a finite, connected, undirected graph G? We then turn our attention to the Hamming Hypercube of dimension n, and we show that the minimum number of spheres with any radii required to cover this graph is either n or n + 1, depending on the parity of n. We also relate the two above problems to other questions in combinatorics, in particular to identifying codes.
    No preview · Article · Jan 2014 · Designs Codes and Cryptography
  • Sihem Mesnager
    [Show abstract] [Hide abstract]
    ABSTRACT: Although there are strong links between finite geometry and coding theory (it has been proved since the 1960’s that all these connections between the two areas are important from a theoretical point of view and for applications), the connections between finite geometry and cryptography remain little studied. In 2011, Carlet and Mesnager have showed that projective finite geometry can also be useful in constructing significant cryptographic primitives such as plateaued Boolean functions. Two important classes of plateaued Boolean functions are those of bent functions and of semi-bent functions, due to their algebraic and combinatorial properties. In this paper, we show that oval polynomials (which are closely related to the hyperovals of the projective plane) give rise to several new constructions of infinite classes of semi-bent Boolean functions in even dimension.
    No preview · Article · Dec 2013
  • Gérard D. Cohen · Sihem Mesnager · Alain Patey
    [Show abstract] [Hide abstract]
    ABSTRACT: Minimal linear codes are linear codes such that the support of every codeword does not contain the support of another linearly independent codeword. Such codes have applications in cryptography, e.g. to secret sharing. We here study minimal codes, give new bounds and properties and exhibit families of minimal linear codes. We also introduce and study the notion of quasi-minimal linear codes, which is a relaxation of the notion of minimal linear codes, where two non-zero codewords have the same support if and only if they are linearly dependent.
    No preview · Article · Dec 2013
  • Sihem Mesnager · J.-P. Flori
    [Show abstract] [Hide abstract]
    ABSTRACT: This paper is devoted to hyperbent functions with multiple trace terms (including binomial functions) via Dillon-like exponents. We show how the approach developed by Mesnager to extend the Charpin–Gong family, which was also used by Wang and coworkers to obtain another similar extension, fits in a much more general setting. To this end, we first explain how the original restriction for Charpin–Gong criterion can be weakened before generalizing the Mesnager approach to arbitrary Dillon-like exponents. Afterward, we tackle the problem of devising infinite families of extension degrees for which a given exponent is valid and apply these results not only to reprove straightforwardly the results of Mesnager and Wang and coworkers, but also to characterize the hyperbentness of several new infinite classes of Boolean functions. We go into full details only for a few of them, but provide an algorithm (and the corresponding software) to apply this approach to an infinity of other new families. Finally, we compare the asymptotic and practical performances of different characterizations, including these in terms of hyperelliptic curves, and actually build hyperbent functions in cases which could not be attained through naive computations of exponential sums.
    No preview · Article · May 2013 · IEEE Transactions on Information Theory
  • [Show abstract] [Hide abstract]
    ABSTRACT: This paper consists of two main contributions. First, the Niho bent function consisting of 2r exponents (discovered by Leander and Kholosha) is studied. The dual of the function is found and it is shown that this new bent function is not of the Niho type. Second, all known univariate representations of Niho bent functions are analyzed for their relation to the completed Maiorana-McFarland class M. In particular, it is proven that two families do not belong to the completed class M. The latter result gives a positive answer to an open problem whether the class H of bent functions introduced by Dillon in his thesis of 1974 differs from the completed class M.
    No preview · Article · Nov 2012 · IEEE Transactions on Information Theory
  • Source
    Tor Helleseth · Alexander Kholosha · Sihem Mesnager
    [Show abstract] [Hide abstract]
    ABSTRACT: In this paper, the relation between binomial Niho bent functions discovered by Dobbertin et al. and o-polynomials that give rise to the Subiaco and Adelaide classes of hyperovals is found. This allows to expand the class of bent functions that corresponds to Subiaco hyperovals, in the case when $m\equiv 2 (\bmod 4)$.
    Preview · Article · Oct 2012
  • Sihem Mesnager · Jean-Pierre Flori
    [Show abstract] [Hide abstract]
    ABSTRACT: This paper is devoted to hyper-bent functions with multiple trace terms (including binomial functions) via Dillon-like exponents. We show how the approach developed by Mesnager to extend the Charpin-Gong family, which was also used by Wang et al. to obtain another similar extension, fits in a much more general setting. To this end, we first explain how the original restriction for Charpin-Gong criterion can be weakened before generalizing the Mesnager approach to arbitrary Dillon-like exponents. Afterward, we tackle the problem of devising infinite families of extension degrees for which a given exponent is valid and apply these results not only to reprove straightforwardly the results of Mesnager, and Wang et al., but also to characterize the hyper-bentness of new infinite classes of Boolean functions.
    No preview · Article · Jul 2012
  • Source
    Jean-Pierre Flori · Sihem Mesnager
    [Show abstract] [Hide abstract]
    ABSTRACT: In this paper, we study the action of Dickson polynomials on subsets of finite fields of even characteristic related to the trace of the inverse of an element and provide an alternate proof of a not so well-known result. Such properties are then applied to the study of a family of Boolean functions and a characterization of their hyper-bentness in terms of exponential sums recently proposed by Wang et al.Finally, we extend previous works of Lisoněk and Flori and Mesnager to reformulate this characterization in terms of the number of points on hyperelliptic curves and present some numerical results leading to an interesting problem.
    Preview · Article · Jun 2012
  • Claude Carlet · Sihem Mesnager
    [Show abstract] [Hide abstract]
    ABSTRACT: We show that any Boolean function, in even dimension, equal to the sum of a Boolean function $g$ which is constant on each element of a spread and of a Boolean function $h$ whose restrictions to these elements are all linear, is semibent if and only if $g$ and $h$ are both bent. We deduce a large number of infinite classes of semibent functions in explicit bivariate (respectively, univariate) polynomial form.
    No preview · Article · May 2012 · IEEE Transactions on Information Theory
  • Claude Carlet · Sihem Mesnager
    [Show abstract] [Hide abstract]
    ABSTRACT: This extended abstract is a reduced version of the paper (Carlet and Mesnager 2011). We refer to this paper for the proofs and for complements.
    No preview · Conference Paper · Jan 2012
  • Sihem Mesnager
    [Show abstract] [Hide abstract]
    ABSTRACT: Kloosterman sums have recently become the focus of much research, most notably due to their applications in cryptography and coding theory. In this paper, we extensively investigate the link between the semibentness property of functions in univariate forms obtained via Dillon and Niho functions and Kloosterman sums. In particular, we show that zeros and the value four of binary Kloosterman sums give rise to semibent functions in even dimension with maximum degree. Moreover, we study the semibentness property of functions in polynomial forms with multiple trace terms and exhibit criteria involving Dickson polynomials.
    No preview · Article · Dec 2011 · IEEE Transactions on Information Theory
  • Sihem Mesnager
    [Show abstract] [Hide abstract]
    ABSTRACT: Bent functions are maximally nonlinear Boolean functions with an even number of variables. They were intro- duced by Rothaus in 1976. For their own sake as interesting combinatorial objects, but also because of their relations to coding theory (Reed-Muller codes) and applications in cryptography (design of stream ciphers), they have attracted a lot of research, specially in the last 15 years. The class of bent functions contains a subclass of functions, introduced by Youssef and Gong in 2001, the so-called hyper-bent functions, whose properties are still stronger and whose elements are still rarer than bent functions. Bent and hyper-bent functions are not classified. A complete classification of these functions is elusive and looks hopeless. So, it is important to design constructions in order to know as many of (hyper)-bent functions as possible. This paper is devoted to the constructions of bent and hyper-bent Boolean functions in polynomial forms. We survey and present an overview of the constructions discovered recently. We extensively investigate the link between the bentness property of such functions and some exponential sums (involving Dickson polynomials) and give some conjectures that lead to constructions of new hyper-bent functions. Index Terms—Bent functions, Boolean function, covering ra- dius, cubic sums, Dickson polynomials, hyper-bent functions, Kloosterman sums, maximum nonlinearity, Reed-Muller codes, Walsh-Hadamard transformation.
    No preview · Article · Sep 2011 · IEEE Transactions on Information Theory
  • Conference Paper: Generalized Witness Sets
    Gerard Cohen · Sihem Mesnager
    [Show abstract] [Hide abstract]
    ABSTRACT: Given a set C of q-ary n-tuples and c ∈ C, how many symbols of c suffice to distinguish it from the other elements in C? This is a generalization of an old combinatorial problem, on which we present (asymptotically tight) bounds and variations.
    No preview · Conference Paper · Jul 2011

Publication Stats

358 Citations
25.86 Total Impact Points

Institutions

  • 2011-2014
    • Université Paris 13 Nord
      • Laboratoire analyse, géométrie et applications (LAGA)
      Île-de-France, France
  • 2009-2012
    • French National Centre for Scientific Research
      Lutetia Parisorum, Île-de-France, France
  • 2005-2012
    • Université de Vincennes - Paris 8
      Saint-Denis, Île-de-France, France
  • 2004
    • Portail des Mathématiques Jussieu / Chevaleret
      Lutetia Parisorum, Île-de-France, France