Source author record

Sihem Mesnager

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Information Theory math.IT Cryptography and Security math.NT Discrete Mathematics math.CO

Catalog footprint

Research overview

16works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

On a Class of Permutation Rational Functions Involving Trace Maps

Permutation rational functions over finite fields have attracted high interest in recent years. However, only a few of them have been exhibited. This article studies a class of permutation rational functions constructed using trace maps on extensions of finite fields, especially for the cases of quadratic and cubic extensions. Our achievements are obtained by investigating absolute irreducibility of some polynomials in two indeterminates.

preprint2022arXiv

A Function Field Approach Toward Good Polynomials for Further Results on Optimal LRC Codes

Because of the recent applications to distributed storage systems, researchers have introduced a new class of block codes, i.e., locally recoverable (LRC) codes. LRC codes can recover information from erasure(s) by accessing a small number of erasure-free code symbols and increasing the efficiency of repair processes in large-scale distributed storage systems. In this context, Tamo and Barg first gave a breakthrough by cleverly introducing a good polynomial notion. Constructing good polynomials for locally recoverable codes achieving Singleton-type bound (called optimal codes) is challenging and has attracted significant attention in recent years. This article aims to increase our knowledge of good polynomials for optimal LRC codes. Using tools from algebraic function fields and Galois theory, we continue investigating those polynomials and studying them by developing the Galois theoretical approach initiated by Micheli in 2019. Specifically, we push further the study of a crucial parameter $\mathcal G(f)$ (of a given polynomial $f$ ), which measures how much a polynomial is "good" in the sense of LRC codes. We provide some characterizations of polynomials with minimal Galois groups and prove some properties of finite fields where polynomials exist with a specific size of Galois groups. We also present some explicit shapes of polynomials with small Galois groups. For some particular polynomials $f$ , we give the exact formula of $\mathcal G(f)$ .

preprint2022arXiv

On the Niho type locally-APN power functions and their boomerang spectrum

In this article, we focus on the concept of locally-APN-ness (``APN" is the abbreviation of the well-known notion of Almost Perfect Nonlinear) introduced by Blondeau, Canteaut, and Charpin, which makes the corpus of S-boxes somehow larger regarding their differential uniformity and, therefore, possibly, more suitable candidates against the differential attack (or their variants). Specifically, given two coprime positive integers $m$ and $k$ such that $\gcd(2^m+1,2^k+1)=1$ , we investigate the locally-APN-ness property of an infinite family of Niho type power functions in the form $F(x)=x^{s(2^m-1)+1}$ over the finite field ${\mathbb F}_{2^{2m}}$ for $s=(2^k+1)^{-1}$ , where $(2^k+1)^{-1}$ denotes the multiplicative inverse modulo $2^m+1$ . By employing finer studies of the number of solutions of certain equations over finite fields (with even characteristic) as well as some subtle manipulations of solving some equations, we prove that $F(x)$ is locally APN and determine its differential spectrum. It is worth noting that computer experiments show that this class of locally-APN power functions covers all Niho type locally-APN power functions for $2\leq m\leq10$ . In addition, we also determine the boomerang spectrum of $F(x)$ by using its differential spectrum, which particularly generalizes a recent result by Yan, Zhang, and Li.

preprint2022arXiv

Solving $X^{2^{3n}+2^{2n}+2^{n}-1}+(X+1)^{2^{3n}+2^{2n}+2^{n}-1}=b$ in $GF{2^{4n}}$

This article determines all the solutions in the finite field $GF{2^{4n}}$ of the equation $x^{2^{3n}+2^{2n}+2^{n}-1}+(x+1)^{2^{3n}+2^{2n}+2^{n}-1}=b$ . Specifically, we explicitly determine the set of $b$ 's for which the equation has $i$ solutions for any positive integer $i$ . Such sets, which depend on the number of solutions $i$ , are given explicitly and expressed nicely, employing the absolute trace function over $GF{2^{n}}$ , the norm function over $GF{2^{4n}}$ relatively to $GF{2^{n}}$ and the set of $2^n+1$ st roots of unity in $GF{2^{4n}}$ . The equation considered in this paper comes from an article by Budaghyan et al. \cite{BCCDK20}. As an immediate consequence of our results, we prove that the above equation has $2^{2n}$ solutions for one value of $b$ , $2^{2n}-2^n$ solutions for $2^n$ values of $b$ in $GF{2^{4n}}$ and has at most two solutions for all remaining points $b$ , leading to complete proof of the conjecture raised by Budaghyan et al. We highlight that the recent work of Li et al., in \cite{Li-et-al-2020} gives the complete differential spectrum of $F$ and also gives an affirmative answer to the conjecture of Budaghyan et al. However, we emphasize that our approach is interesting and promising by being different from Li et al. Indeed, on the opposite to their article, our technique allows determine ultimately the set of $b$ 's for which the considered equation has solutions as well as the solutions of the equation for any $b$ in $GF{2^{4n}}$ .

preprint2021arXiv

Complete solution over $\GF{p^n}$ of the equation $X^{p^k+1}+X+a=0$

The problem of solving explicitly the equation $P_a(X):=X^{q+1}+X+a=0$ over the finite field $\GF{Q}$, where $Q=p^n$ , $q=p^k$ and $p$ is a prime, arises in many different contexts including finite geometry, the inverse Galois problem \cite{ACZ2000}, the construction of difference sets with Singer parameters \cite{DD2004}, determining cross-correlation between $m$ -sequences \cite{DOBBERTIN2006} and to construct error correcting codes \cite{Bracken2009}, cryptographic APN functions \cite{BTT2014,Budaghyan-Carlet_2006}, designs \cite{Tang_2019}, as well as to speed up the index calculus method for computing discrete logarithms on finite fields \cite{GGGZ2013,GGGZ2013+} and on algebraic curves \cite{M2014}. Subsequently, in \cite{Bluher2004,HK2008,HK2010,BTT2014,Bluher2016,KM2019,CMPZ2019,MS2019,KCM19}, the $\GF{Q}$-zeros of $P_a(X)$ have been studied. In \cite{Bluher2004}, it was shown that the possible values of the number of the zeros that $P_a(X)$ has in $\GF{Q}$ is $0$ , $1$ , $2$ or $p^{\gcd(n, k)}+1$ . Some criteria for the number of the $\GF{Q}$-zeros of $P_a(x)$ were found in \cite{HK2008,HK2010,BTT2014,KM2019,MS2019}. However, while the ultimate goal is to explicit all the $\GF{Q}$-zeros, even in the case $p=2$ , it was solved only under the condition $\gcd(n, k)=1$ \cite{KM2019}. In this article, we discuss this equation without any restriction on $p$ and $\gcd(n,k)$ . In \cite{KCM19}, for the cases of one or two $\GF{Q}$-zeros, explicit expressions for these rational zeros in terms of $a$ were provided, but for the case of $p^{\gcd(n, k)}+1$ $\GF{Q}-$ zeros it was remained open to explicitly compute the zeros. This paper solves the remained problem, thus now the equation $X^{p^k+1}+X+a=0$ over $\GF{p^n}$ is completely solved for any prime $p$ , any integers $n$ and $k$ .

preprint2020arXiv

A direct proof of APN-ness of the Kasami functions

Using recent results on solving the equation $X^{2^k+1}+X+a=0$ over a finite field $\mathbb{F}_{2^n}$ , we address an open question raised by the first author in WAIFI 2014 concerning the APN-ness of the Kasami functions $x\mapsto x^{2^{2k}-2^k+1}$ with $gcd(k,n)=1$ , $x\in\mathbb{F}_{2^n}$ .

preprint2020arXiv

A Novel Application of Boolean Functions with High Algebraic Immunity in Minimal Codes

Boolean functions with high algebraic immunity are important cryptographic primitives in some stream ciphers. In this paper, two methodologies for constructing binary minimal codes from sets, Boolean functions and vectorial Boolean functions with high algebraic immunity are proposed. More precisely, a general construction of new minimal codes using minimal codes contained in Reed-Muller codes and sets without nonzero low degree annihilators is presented. The other construction allows us to yield minimal codes from certain subcodes of Reed-Muller codes and vectorial Boolean functions with high algebraic immunity. Via these general constructions, infinite families of minimal binary linear codes of dimension $m$ and length less than or equal to $m(m+1)/2$ are obtained. In addition, a lower bound on the minimum distance of the proposed minimal linear codes is established. Conjectures and open problems are also presented. The results of this paper show that Boolean functions with high algebraic immunity have nice applications in several fields such as symmetric cryptography, coding theory and secret sharing schemes.

preprint2020arXiv

Fast algebraic immunity of Boolean functions and LCD codes

Nowadays, the resistance against algebraic attacks and fast algebraic attacks are considered as an important cryptographic property for Boolean functions used in stream ciphers. Both attacks are very powerful analysis concepts and can be applied to symmetric cryptographic algorithms used in stream ciphers. The notion of algebraic immunity has received wide attention since it is a powerful tool to measure the resistance of a Boolean function to standard algebraic attacks. Nevertheless, an algebraic tool to handle the resistance to fast algebraic attacks is not clearly identified in the literature. In the current paper, we propose a new parameter to measure the resistance of a Boolean function to fast algebraic attack. We also introduce the notion of fast immunity profile and show that it informs both on the resistance to standard and fast algebraic attacks. Further, we evaluate our parameter for two secondary constructions of Boolean functions. Moreover, A coding-theory approach to the characterization of perfect algebraic immune functions is presented. Via this characterization, infinite families of binary linear complementary dual codes (or LCD codes for short) are obtained from perfect algebraic immune functions. The binary LCD codes presented in this paper have applications in armoring implementations against so-called side-channel attacks (SCA) and fault non-invasive attacks, in addition to their applications in communication and data storage systems.

preprint2020arXiv

Power Functions over Finite Fields with Low $c$ -Differential Uniformity

Very recently, a new concept called multiplicative differential (and the corresponding $c$ -differential uniformity) was introduced by Ellingsen \textit{et al} in [C-differentials, multiplicative uniformity and (almost) perfect c-nonlinearity, IEEE Trans. Inform. Theory, 2020] which is motivated from practical differential cryptanalysis. Unlike classical perfect nonlinear functions, there are perfect $c$ -nonlinear functions even for characteristic two. The objective of this paper is to study power function $F(x)=x^d$ over finite fields with low $c$ -differential uniformity. Some power functions are shown to be perfect $c$ -nonlinear or almost perfect $c$ -nonlinear. Notably, we completely determine the $c$ -differential uniformity of almost perfect nonlinear functions with the well-known Gold exponent. We also give an affirmative solution to a recent conjecture proposed by Bartoli and Timpanella in 2019 related to an exceptional quasi-planar power function.

preprint2020arXiv

Solving Some Affine Equations over Finite Fields

Let $l$ and $k$ be two integers such that $l|k$ . Define $T_l^k(X):=X+X^{p^l}+\cdots+X^{p^{l(k/l-2)}}+X^{p^{l(k/l-1)}}$ and $S_l^k(X):=X-X^{p^l}+\cdots+(-1)^{(k/l-1)}X^{p^{l(k/l-1)}}$ , where $p$ is any prime. This paper gives explicit representations of all solutions in $\GF{p^n}$ to the affine equations $T_l^{k}(X)=a$ and $S_l^{k}(X)=a$ , $a\in \GF{p^n}$. For the case $p=2$ that was solved very recently in \cite{MKCL2019}, the result of this paper reveals another solution.

preprint2019arXiv

Solving $X^{q+1}+X+a=0$ over Finite Fields

Solving the equation $P_a(X):=X^{q+1}+X+a=0$ over finite field $\GF{Q}$, where $Q=p^n, q=p^k$ and $p$ is a prime, arises in many different contexts including finite geometry, the inverse Galois problem \cite{ACZ2000}, the construction of difference sets with Singer parameters \cite{DD2004}, determining cross-correlation between $m$ -sequences \cite{DOBBERTIN2006,HELLESETH2008} and to construct error-correcting codes \cite{Bracken2009}, as well as to speed up the index calculus method for computing discrete logarithms on finite fields \cite{GGGZ2013,GGGZ2013+} and on algebraic curves \cite{M2014}. Subsequently, in \cite{Bluher2004,HK2008,HK2010,BTT2014,Bluher2016,KM2019,CMPZ2019,MS2019}, the $\GF{Q}$-zeros of $P_a(X)$ have been studied: in \cite{Bluher2004} it was shown that the possible values of the number of the zeros that $P_a(X)$ has in $\GF{Q}$ is $0$ , $1$ , $2$ or $p^{\gcd(n, k)}+1$ . Some criteria for the number of the $\GF{Q}$-zeros of $P_a(x)$ were found in \cite{HK2008,HK2010,BTT2014,KM2019,MS2019}. However, while the ultimate goal is to identify all the $\GF{Q}$-zeros, even in the case $p=2$ , it was solved only under the condition $\gcd(n, k)=1$ \cite{KM2019}. We discuss this equation without any restriction on $p$ and $\gcd(n,k)$ . New criteria for the number of the $\GF{Q}$-zeros of $P_a(x)$ are proved. For the cases of one or two $\GF{Q}$-zeros, we provide explicit expressions for these rational zeros in terms of $a$ . For the case of $p^{\gcd(n, k)}+1$ rational zeros, we provide a parametrization of such $a$ 's and express the $p^{\gcd(n, k)}+1$ rational zeros by using that parametrization.

preprint2016arXiv

Complementary Dual Algebraic Geometry Codes

Linear complementary dual (LCD) codes is a class of linear codes introduced by Massey in 1964. LCD codes have been extensively studied in literature recently. In addition to their applications in data storage, communications systems, and consumer electronics, LCD codes have been employed in cryptography. More specifically, it has been shown that LCD codes can also help improve the security of the information processed by sensitive devices, especially against so-called side-channel attacks (SCA) and fault non-invasive attacks. In this paper, we are interested in the construction of particular algebraic geometry (AG) LCD codes which could be good candidates to be resistant against SCA. We firstly provide a construction scheme for obtaining LCD codes from elliptic curves. Then, some explicit LCD codes from elliptic curve are presented. MDS codes are of the most importance in coding theory due to their theoretical significance and practical interests. In this paper, all the constructed LCD codes from elliptic curves are MDS or almost MDS. Some infinite classes of LCD codes from elliptic curves are optimal due to the Griesmer bound. Finally, we introduce a construction mechanism for obtaining LCD codes from any algebraic curve and derive some explicit LCD codes from hyperelliptic curves and Hermitian curves.

preprint2016arXiv

Decomposing generalized bent and hyperbent functions

In this paper we introduce generalized hyperbent functions from $F_{2^n}$ to $Z_{2^k}$ , and investigate decompositions of generalized (hyper)bent functions. We show that generalized (hyper)bent functions from $F_{2^n}$ to $Z_{2^k}$ consist of components which are generalized (hyper)bent functions from $F_{2^n}$ to $Z_{2^{k^\prime}}$ for some $k^\prime < k$ . For odd $n$ , we show that the Boolean functions associated to a generalized bent function form an affine space of semibent functions. This complements a recent result for even $n$ , where the associated Boolean functions are bent.

preprint2016arXiv

Quasi-Perfect Lee Codes from Quadratic Curves over Finite Fields

Golomb and Welch conjectured in 1970 that there only exist perfect Lee codes for radius $t=1$ or dimension $n=1, 2$ . It is admitted that the existence and the construction of quasi-perfect Lee codes have to be studied since they are the best alternative to the perfect codes. In this paper we firstly highlight the relationships between subset sums, Cayley graphs, and Lee linear codes and present some results. Next, we present a new constructive method for constructing quasi-perfect Lee codes. Our approach uses subsets derived from some quadratic curves over finite fields (in odd characteristic) to derive two classes of $2$ -quasi-perfect Lee codes are given over the space $\mathbb{Z}_p^n$ for $n=\frac{p^k+1}{2}$ $(\text{with} ~p\equiv 1, -5 \mod 12 \text{and} k \text{is any integer}, \text{or} p\equiv -1, 5 \mod 12 \text{and} k \text{is an even integer})$ and $n=\frac{p^k-1}{2}$ $(\text{with}p\equiv -1, 5 \mod 12, k \text{is an odd integer} \text{and} p^k>12)$ , where $p$ is an odd prime. Our codes encompass the quasi-perfect Lee codes constructed recently by Camarero and Martínez. Furthermore, we solve a conjecture proposed by Camarero and Martínez (in "quasi-perfect Lee codes of radius $2$ and arbitrarily large dimension", IEEE Trans. Inf. Theory, vol. 62, no. 3, 2016) by proving that the related Cayley graphs are Ramanujan or almost Ramanujan. The Lee codes presented in this paper have applications to constrained and partial-response channels, in flash memories and decision diagrams.

preprint2015arXiv

New DNA Cyclic Codes over Rings

This paper is dealing with DNA cyclic codes which play an important role in DNA computing and have attracted a particular attention in the literature. Firstly, we introduce a new family of DNA cyclic codes over the ring $R=\mathbb{F}_2[u]/(u^6)$ . Such codes have theoretical advantages as well as several applications in DNA computing. A direct link between the elements of such a ring and the $64$ codons used in the amino acids of the living organisms is established. Such a correspondence allows us to extend the notion of the edit distance to the ring $R$ which is useful for the correction of the insertion, deletion and substitution errors. Next, we define the Lee weight, the Gray map over the ring $R$ as well as the binary image of the cyclic DNA codes allowing the transfer of studying DNA codes into studying binary codes. Secondly, we introduce another new family of DNA skew cyclic codes constructed over the ring $\tilde {R}=\mathbb{F}_2+v\mathbb{F}_2=\{0,1,v,v+1\}$ where $v^2=v$ and study their property of being reverse-complement. We show that the obtained code is derived from the cyclic reverse-complement code over the ring $\tilde {R}$ . We shall provide the binary images and present some explicit examples of such codes.

preprint2012arXiv

Niho Bent Functions and Subiaco/Adelaide Hyperovals

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)$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Sihem Mesnager

Research overview

Is this your work?

16 publications

On a Class of Permutation Rational Functions Involving Trace Maps

A Function Field Approach Toward Good Polynomials for Further Results on Optimal LRC Codes

On the Niho type locally-APN power functions and their boomerang spectrum

Solving $X^{2^{3n}+2^{2n}+2^{n}-1}+(X+1)^{2^{3n}+2^{2n}+2^{n}-1}=b$ in $GF{2^{4n}}$

Complete solution over $\GF{p^n}$ of the equation $X^{p^k+1}+X+a=0$

A direct proof of APN-ness of the Kasami functions

A Novel Application of Boolean Functions with High Algebraic Immunity in Minimal Codes

Fast algebraic immunity of Boolean functions and LCD codes

Power Functions over Finite Fields with Low $c$ -Differential Uniformity

Solving Some Affine Equations over Finite Fields

Solving $X^{q+1}+X+a=0$ over Finite Fields

Complementary Dual Algebraic Geometry Codes

Decomposing generalized bent and hyperbent functions

Quasi-Perfect Lee Codes from Quadratic Curves over Finite Fields

New DNA Cyclic Codes over Rings

Niho Bent Functions and Subiaco/Adelaide Hyperovals

See the researcher in context

Building this map preview

Sihem Mesnager

Research overview

Is this your work?

16 publications

On a Class of Permutation Rational Functions Involving Trace Maps

A Function Field Approach Toward Good Polynomials for Further Results on Optimal LRC Codes

On the Niho type locally-APN power functions and their boomerang spectrum

Solving X23n+22n+2n−1+(X+1)23n+22n+2n−1=bX^{2^{3n}+2^{2n}+2^{n}-1}+(X+1)^{2^{3n}+2^{2n}+2^{n}-1}=bX23n+22n+2n−1+(X+1)23n+22n+2n−1=b in GF24nGF{2^{4n}}GF24n

Complete solution over $\GF{p^n}$ of the equation Xpk+1+X+a=0X^{p^k+1}+X+a=0Xpk+1+X+a=0

A direct proof of APN-ness of the Kasami functions

A Novel Application of Boolean Functions with High Algebraic Immunity in Minimal Codes

Fast algebraic immunity of Boolean functions and LCD codes

Power Functions over Finite Fields with Low ccc-Differential Uniformity

Solving Some Affine Equations over Finite Fields

Solving Xq+1+X+a=0X^{q+1}+X+a=0Xq+1+X+a=0 over Finite Fields

Complementary Dual Algebraic Geometry Codes

Decomposing generalized bent and hyperbent functions

Quasi-Perfect Lee Codes from Quadratic Curves over Finite Fields

New DNA Cyclic Codes over Rings

Niho Bent Functions and Subiaco/Adelaide Hyperovals

See the researcher in context

Building this map preview

Solving $X^{2^{3n}+2^{2n}+2^{n}-1}+(X+1)^{2^{3n}+2^{2n}+2^{n}-1}=b$ in $GF{2^{4n}}$

Complete solution over $\GF{p^n}$ of the equation $X^{p^k+1}+X+a=0$

Power Functions over Finite Fields with Low $c$ -Differential Uniformity

Solving $X^{q+1}+X+a=0$ over Finite Fields