BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Baofeng Wu

Baofeng Wu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.COCryptography and Securitymath.NTDiscrete Mathematicsmath.RA

Catalog footprint

What is connected

16works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

16 published item(s)

preprint2022arXiv

Towards non-independence of modular additions in searching differential trails of ARX ciphers: new automatic methods with application to SPECK and Chaskey

ARX-based ciphers, constructed by the modular addition, rotation and XOR operations, have been receiving a lot of attention in the design of lightweight symmetric ciphers. For their differential cryptanalysis, most automatic search methods of differential trails adopt the assumption of independence of modulo additions. However, this assumption does not necessarily hold when the trail includes consecutive modular additions (CMAs). It has already been found that in this case some differential trails searched by automatic methods before are actually impossible, but the study is not in depth yet, for example, few effort has been paid to exploiting the root causes of non-independence between CMAs and accurate calculation of probabilities of the valid trails. In this paper, we devote to solving these two problems. By examing the differential equations of single and consecutive modular additions, we find that the influence of non-independence can be described by relationships between constraints on the intermediate state of two additions. Specifically, constraints of the first addition can make some of its output bits non-uniform, and when they meet the constraints of the second addition, the differential probability of the whole CMA may be different from the value calculated under the independence assumption. As a result, we can build SAT models to verify the validity of a given differential trail of ARX ciphers and #SAT models to calculate the exact probabilities of the differential propagation through CMAs in the trail, promising a more accurate evaluation of probability of the trail. Our automic methods and searching tools are applied to search related-key differential trails of SPECK and Chaskey including CMAs in the key schedule and the round function respectively.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

$\mathbb{Z}_q$-valued generalized bent functions in odd characteristics

In this paper, we investigate properties of functions from $\mathbb{Z}_{p}^n$ to $\mathbb{Z}_q$, where $p$ is an odd prime and $q$ is a positive integer divided by $p$. we present the sufficient and necessary conditions for bent-ness of such generalized Boolean functions in terms of classical $p$-ary bent functions, when $q=p^k$. When $q$ is divided by $p$ but not a power of it, we give an sufficient condition for weakly regular gbent functions. Some related constructions are also obtained.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

More characterizations of generalized bent function in odd characteristic, their dual and the gray image

In this paper, we further investigate properties of generalized bent Boolean functions from $\Z_{p}^n$ to $\Z_{p^k}$, where $p$ is an odd prime and $k$ is a positive integer. For various kinds of representations, sufficient and necessary conditions for bent-ness of such functions are given in terms of their various kinds of component functions. Furthermore, a subclass of gbent functions corresponding to relative difference sets, which we call $\Z_{p^k}$-bent functions, are studied. It turns out that $\Z_{p^k}$-bent functions correspond to a class of vectorial bent functions, and the property of being $\Z_{p^k}$-bent is much stronger then the standard bent-ness. The dual and the generalized Gray image of gbent function are also discussed. In addition, as a further generalization, we also define and give characterizations of gbent functions from $\Z_{p^l}^n$ to $\Z_{p^k}$ for a positive integer $l$ with $l<k$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Constructing Boolean Functions With Potential Optimal Algebraic Immunity Based on Additive Decompositions of Finite Fields

We propose a general approach to construct cryptographic significant Boolean functions of $(r+1)m$ variables based on the additive decomposition $\mathbb{F}_{2^{rm}}\times\mathbb{F}_{2^m}$ of the finite field $\mathbb{F}_{2^{(r+1)m}}$, where $r$ is odd and $m\geq3$. A class of unbalanced functions are constructed first via this approach, which coincides with a variant of the unbalanced class of generalized Tu-Deng functions in the case $r=1$. This class of functions have high algebraic degree, but their algebraic immunity does not exceeds $m$, which is impossible to be optimal when $r>1$. By modifying these unbalanced functions, we obtain a class of balanced functions which have optimal algebraic degree and high nonlinearity (shown by a lower bound we prove). These functions have optimal algebraic immunity provided a combinatorial conjecture on binary strings which generalizes the Tu-Deng conjecture is true. Computer investigations show that, at least for small values of number of variables, functions from this class also behave well against fast algebraic attacks.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

$\mathcal{P}\mathcal{S}$ bent functions constructed from finite pre-quasifield spreads

Bent functions are of great importance in both mathematics and information science. The $\mathcal{P}\mathcal{S}$ class of bent functions was introduced by Dillon in 1974, but functions belonging to this class that can be explicitly represented are only the $\mathcal{P}\mathcal{S}_{\text{ap}}$ functions, which were also constructed by Dillon after his introduction of the $\mathcal{P}\mathcal{S}$ class. In this paper, a technique of using finite pre-quasifield spread from finite geometry to construct $\mathcal{P}\mathcal{S}$ bent functions is proposed. The constructed functions are in similar styles with the $\mathcal{P}\mathcal{S}_{\text{ap}}$ functions. To explicitly represent them in bivariate forms, the main task is to compute compositional inverses of certain parametric permutation polynomials over finite fields of characteristic 2. Concentrated on the Dempwolff-Müller pre-quasifield, the Knuth pre-semifield and the Kantor pre-semifield, three new subclasses of the $\mathcal{P}\mathcal{S}$ class are obtained. They are the only sub-classes that can be explicitly constructed more than 30 years after the $\mathcal{P}\mathcal{S}_{\text{ap}}$ subclass was introduced.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A new proof to complexity of dual basis of a type I optimal normal basis

The complexity of dual basis of a type I optimal normal basis of $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}$ was determined to be $3n-3$ or $3n-2$ according as $q$ is even or odd, respectively, by Z.-X. Wan and K. Zhou in 2007. We give a new proof to this result by clearly deriving the dual of a type I optimal normal basis with the aid of a lemma on the dual of a polynomial basis.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Complete permutation polynomials induced from complete permutations of subfields

We propose several techniques to construct complete permutation polynomials of finite fields by virtue of complete permutations of subfields. In some special cases, any complete permutation polynomials over a finite field can be used to construct complete permutations of certain extension fields with these techniques. The results generalize some recent work of several authors.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Constructing $2m$-variable Boolean functions with optimal algebraic immunity based on polar decomposition of $\mathbb{F}_{2^{2m}}^*$

Constructing $2m$-variable Boolean functions with optimal algebraic immunity based on decomposition of additive group of the finite field $\mathbb{F}_{2^{2m}}$ seems to be a promising approach since Tu and Deng's work. In this paper, we consider the same problem in a new way. Based on polar decomposition of the multiplicative group of $\mathbb{F}_{2^{2m}}$, we propose a new construction of Boolean functions with optimal algebraic immunity. By a slight modification of it, we obtain a class of balanced Boolean functions achieving optimal algebraic immunity, which also have optimal algebraic degree and high nonlinearity. Computer investigations imply that this class of functions also behave well against fast algebraic attacks.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Linearized polynomials over finite fields revisited

We give new characterizations of the algebra $\mathscr{L}_n(\mathbb{F}_{q^n})$ formed by all linearized polynomials over the finite field $\mathbb{F}_{q^n}$ after briefly surveying some known ones. One isomorphism we construct is between $\mathscr{L}_n(\mathbb{F}_{q^n})$ and the composition algebra $\mathbb{F}_{q^n}^\vee\otimes_{\mathbb{F}_{q}}\mathbb{F}_{q^n}$. The other isomorphism we construct is between $\mathscr{L}_n(\mathbb{F}_{q^n})$ and the so-called Dickson matrix algebra $\mathscr{D}_n(\mathbb{F}_{q^n})$. We also further study the relations between a linearized polynomial and its associated Dickson matrix, generalizing a well-known criterion of Dickson on linearized permutation polynomials. Adjugate polynomial of a linearized polynomial is then introduced, and connections between them are discussed. Both of the new characterizations can bring us more simple approaches to establish a special form of representations of linearized polynomials proposed recently by several authors. Structure of the subalgebra $\mathscr{L}_n(\mathbb{F}_{q^m})$ which are formed by all linearized polynomials over a subfield $\mathbb{F}_{q^m}$ of $\mathbb{F}_{q^n}$ where $m|n$ are also described.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

New constructions of quaternary bent functions

In this paper, a new construction of quaternary bent functions from quaternary quadratic forms over Galois rings of characteristic 4 is proposed. Based on this construction, several new classes of quaternary bent functions are obtained, and as a consequence, several new classes of quadratic binary bent and semi-bent functions in polynomial forms are derived. This work generalizes the recent work of N. Li, X. Tang and T. Helleseth.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The compositional inverse of a class of bilinear permutation polynomials over finite fields of characteristic 2

A class of bilinear permutation polynomials over a finite field of characteristic 2 was constructed in a recursive manner recently which involved some other constructions as special cases. We determine the compositional inverses of them based on a direct sum decomposition of the finite field. The result generalizes that in [R.S. Coulter, M. Henderson, The compositional inverse of a class of permutation polynomials over a finite field, Bull. Austral. Math. Soc. 65 (2002) 521-526].

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The compositional inverses of linearized permutation binomials over finite fields

Let $q$ be a prime power and $n$ and $r$ be positive integers. It is well known that the linearized binomial $L_r(x)=x^{q^r}+ax\in\mathbb{F}_{q^n}[x]$ is a permutation polynomial if and only if $(-1)^{n/d}a^{{(q^n-1)}/{(q^{d}-1)}}\neq 1$ where $d=(n,r)$. In this paper, the compositional inverse of $L_r(x)$ is explicitly determined when this condition holds.

0 citations0 reviewsNo code linkedOpen access