Source author record

Giacomo Micheli

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

11works
6topics
4close collaborators

Published work

11 publications

preprint2022arXiv

Differential biases, cc-differential uniformity, and their relation to differential attacks

Differential cryptanalysis famously uses statistical biases in the propagation of differences in a block cipher to attack the cipher. In this paper, we investigate the existence of more general statistical biases in the differences. To this end, we discuss the cc-differential uniformity of S-boxes, which is a concept that was recently introduced in Ellingsen et. al. to measure certain statistical biases that could potentially be used in attacks similar to differential attacks. Firstly, we prove that a large class of potential candidates for S-boxes necessarily has large cc-differential uniformity for all but at most BB choices of cc, where BB is a constant independent of the size of the finite field qq. This result implies that for a large class of functions, certain statistical differential biases are inevitable. In a second part, we discuss the practical possibility of designing a differential attack based on weaknesses of S-boxes related to their cc-differential uniformity.

preprint2022arXiv

Local to global principle over number fields for higher moments

The local to global principle for densities is a very convenient tool proposed by Poonen and Stoll to compute the density of a given subset of the integers. In this paper we provide an effective criterion to find all higher moments of the density (e.g. the mean, the variance) of a subset of a finite dimensional free module over the ring of algebraic integers of a number field. More precisely, we provide a local to global principle that allows the computation of all higher moments corresponding to the density, over a general number field KK. This work advances the understanding of local to global principles for density computations in two ways: on one hand, it extends a result of Bright, Browning and Loughran, where they provide the local to global principle for densities over number fields; on the other hand, it extends the recent result on a local to global principle for expected values over the integers to both the ring of algebraic integers and to moments higher than the expected value. To show how effective and applicable our method is, we compute the density, mean and variance of Eisenstein polynomials and shifted Eisenstein polynomials over number fields. This extends (and fully covers) results in the literature that were obtained with ad-hoc methods.

preprint2022arXiv

Optimal locally recoverable codes with hierarchy from nested FF-adic expansions

In this paper we construct new optimal hierarchical locally recoverable codes. Our construction is based on a combination of the ideas of \cite{ballentine2019codes,sasidharan2015codes} with an algebraic number theoretical approach that allows to give a finer tuning of the minimum distance of the intermediate code (allowing larger dimension of the final code), and to remove restrictions on the arithmetic properties of qq compared with the size of the locality sets in the hierarchy. In turn, we manage to obtain codes with a wide set of parameters both for the size qq of the base field, and for the hierarchy size, while keeping the optimality of the codes we construct.

preprint2020arXiv

rr-fat linearized polynomials over finite fields

In this paper we prove that the property of being scattered for a Fq\mathbb{F}_q-linearized polynomial of small qq-degree over a finite field Fqn\mathbb{F}_{q^n} is unstable, in the sense that, whenever the corresponding linear set has at least one point of weight larger than one, the polynomial is far from being scattered. To this aim, we define and investigate rr-fat polynomials, a natural generalization of scattered polynomials. An rr-fat Fq\mathbb{F}_q-linearized polynomial defines a linear set of rank nn in the projective line of order qnq^n with rr points of weight larger than one. When rr equals 11, the corresponding linear sets are called clubs, and they are related with a number of remarkable mathematical objects like KM-arcs, group divisible designs and rank metric codes. Using techniques on algebraic curves and global function fields, we obtain numerical bounds for rr and the non-existence of exceptional rr-fat polynomials with r>0r>0. In the case n≤4n\leq 4, we completely determine the spectrum of values of rr for which an rr-fat polynomial exists. In the case n=5n=5, we provide a new family of 11-fat polynomials. Furthermore, we determine the values of rr for which the so-called LP-polynomials are rr-fat.

preprint2020arXiv

Algebraic constructions of complete mm-arcs

Let mm be a positive integer, qq be a prime power, and PG(2,q)\mathrm{PG}(2,q) be the projective plane over the finite field Fq\mathbb F_q. Finding complete mm-arcs in PG(2,q)\mathrm{PG}(2,q) of size less than qq is a classical problem in finite geometry. In this paper we give a complete answer to this problem when qq is relatively large compared with mm, explicitly constructing the smallest mm-arcs in the literature so far for any m≥8m\geq 8. For any fixed mm, our arcs Aq,m\mathcal A_{q,m} satisfy ∣Aq,m∣−q→−∞|\mathcal A_{q,m}|-q\rightarrow -\infty as qq grows. To produce such mm-arcs, we develop a Galois theoretical machinery that allows the transfer of geometric information of points external to the arc, to arithmetic one, which in turn allows to prove the mm-completeness of the arc.

preprint2020arXiv

An equivariant isomorphism theorem for mod p\mathfrak p reductions of arboreal Galois representations

Let ϕϕ be a quadratic, monic polynomial with coefficients in OF,D[t]\mathcal O_{F,D}[t], where OF,D\mathcal O_{F,D} is a localization of a number ring OF\mathcal O_F. In this paper, we first prove that if ϕϕ is non-square and non-isotrivial, then there exists an absolute, effective constant NϕN_ϕ with the following property: for all primes p⊆OF,D\mathfrak p\subseteq\mathcal O_{F,D} such that the reduced polynomial ϕp∈(OF,D/p)[t][x]ϕ_\mathfrak p\in (\mathcal O_{F,D}/\mathfrak p)[t][x] is non-square and non-isotrivial, the squarefree Zsigmondy set of ϕpϕ_{\mathfrak p} is bounded by NϕN_ϕ. Using this result, we prove that if ϕϕ is non-isotrivial and geometrically stable then outside a finite, effective set of primes of OF,D\mathcal O_{F,D} the geometric part of the arboreal representation of ϕpϕ_{\mathfrak p} is isomorphic to that of ϕϕ. As an application of our results we prove R. Jones' conjecture on the arboreal Galois representation attached to the polynomial x2+tx^2+t.

preprint2020arXiv

Exceptional scatteredness in prime degree

Let qq be an odd prime power and nn be a positive integer. Let ℓ∈Fqn[x]\ell\in \mathbb F_{q^n}[x] be a qq-linearised tt-scattered polynomial of linearized degree rr. Let d=max⁡{t,r}d=\max\{t,r\} be an odd prime number. In this paper we show that under these assumptions it follows that ℓ=x\ell=x. Our technique involves a Galois theoretical characterization of tt-scattered polynomials combined with the classification of transitive subgroups of the general linear group over the finite field Fq\mathbb F_q.

preprint2020arXiv

Local to global principle for expected values

This paper constructs a new local to global principle for expected values over free Z\mathbb{Z}-modules of finite rank. In our strategy we use the same philosophy as Ekedhal's Sieve for densities, later extended and improved by Poonen and Stoll in their local to global principle for densities. We show that under some additional hypothesis on the system of pp-adic subsets used in the principle, one can use pp-adic measures also when one has to compute expected values (and not only densities). Moreover, we show that our additional hypotheses are sharp, in the sense that explicit counterexamples exist when any of them is missing. In particular, a system of pp-adic subsets that works in the Poonen and Stoll principle is not guaranteed to work when one is interested in expected values instead of densities. Finally, we provide both new applications of the method, and immediate proofs for known results.

preprint2019arXiv

The Algebraic Theory of Fractional Jumps

In this paper we start by briefly surveying the theory of Fractional Jumps and transitive projective maps. Then, we give an efficient construction of a fractional jump of a projective map and we extend the compound generator construction for the Inversive Congruential Generator to Fractional jump sequences. In addition, we provide new results on the absolute jump index, on projectively primitive polynomials, and on the explicit description of fractional jump generators.

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.