Source author record

Riccardo Aragona

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

ResearcherUnclaimed source record

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

Catalog footprint

Research overview

17works

9topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

Verification and generation of unrefinable partitions

Unrefinable partitions are a subset of partitions into distinct parts which satisfy an additional unrefinability property. More precisely, being an unrefinable partition means that none of the parts can be written as the sum of smaller integers without introducing a repetition. We address the algorithmic aspects of unrefinable partitions, such as testing whether a given partition is unrefinable or not and enumerating all the partitions whose sum is a given integer. We design two algorithms to solve the two mentioned problems and we discuss their complexity.

preprint2022arXiv

On the maximal part in unrefinable partitions of triangular numbers

A partition into distinct parts is refinable if one of its parts $a$ can be replaced by two different integers which do not belong to the partition and whose sum is $a$ , and it is unrefinable otherwise. Clearly, the condition of being unrefinable imposes on the partition a non-trivial limitation on the size of the largest part and on the possible distributions of the parts. We prove a $O(n^{1/2})$ -upper bound for the largest part in an unrefinable partition of $n$ , and we call maximal those which reach the bound. We show a complete classification of maximal unrefinable partitions for triangular numbers, proving that if $n$ is even there exists only one maximal unrefinable partition of $n(n+1)/2$ , and that if $n$ is odd the number of such partitions equals the number of partitions of $\lceil n/2\rceil$ into distinct parts. In the second case, an explicit bijection is provided.

preprint2022arXiv

On the primitivity of the AES-128 key-schedule

The key-scheduling algorithm in the AES is the component responsible for selecting from the master key the sequence of round keys to be xor-ed to the partially encrypted state at each iteration. We consider here the group $Γ$ generated by the action of the AES-128 key-scheduling operation, and we prove that the smallest group containing $Γ$ and all the translations of the message space is primitive. As a consequence, we obtain that no proper and non-trivial subspace can be invariant under its action.

preprint2021arXiv

Unrefinable partitions into distinct parts in a normalizer chain

In a recent paper on a study of the Sylow 2-subgroups of the symmetric group with 2^n elements it has been show that the growth of the first (n-2) consecutive indices of a certain normalizer chain is linked to the sequence of partitions of integers into distinct parts. Unrefinable partitions into distinct parts are those in which no part x can be replaced with integers whose sum is x obtaining a new partition into distinct parts. We prove here that the (n-1)-th index of the previously mentioned chain is related to the number of unrefinable partitions into distinct parts satisfying a condition on the minimal excludant.

preprint2020arXiv

A Chain of Normalizers in the Sylow $2$ -subgroups of the symmetric group on $2^n$ letters

On the basis of an initial interest in symmetric cryptography, in the present work we study a chain of subgroups. Starting from a Sylow $2$ -subgroup of AGL(2,n), each term of the chain is defined as the normalizer of the previous one in the symmetric group on $2^n$ letters. Partial results and computational experiments lead us to conjecture that, for large values of $n$ , the index of a normalizer in the consecutive one does not depend on $n$ . Indeed, there is a strong evidence that the sequence of the logarithms of such indices is the one of the partial sums of the numbers of partitions into at least two distinct parts.

preprint2020arXiv

An Authenticated Key Scheme over Elliptic Curves for Topological Networks

Nodes of sensor networks may be resource-constrained devices, often having a limited lifetime, making sensor networks remarkably dynamic environments. Managing a cryptographic protocol on such setups may require a disproportionate effort when it comes to update the secret parameters of new nodes that enter the network in place of dismantled sensors. For this reason, the designers of schemes for sensor network are always concerned with the need of scalable and adaptable solutions. In this work, we present a novel elliptic-curve based solution, derived from the previously released cryptographic protocol TAKS, which addresses this issue. We give a formal description of the scheme, built on a two-dimensional vector space over a prime field and over elliptic curves, where node topology is more relevant than node identity, allowing a dynamic handling of the network and reducing the cost of network updates. We also study some security concerns and their relation to the related discrete logarithm problem over elliptic curves.

preprint2020arXiv

Entropy and Compression: A simple proof of an inequality of Khinchin-Ornstein-Shields

This paper concerns the folklore statement that ``entropy is a lower bound for compression''. More precisely we derive from the entropy theorem a simple proof of a pointwise inequality firstly stated by Ornstein and Shields and which is the almost-sure version of an average inequality firstly stated by Khinchin in 1953. We further give an elementary proof of original Khinchin inequality that can be used as an exercise for Information Theory students and we conclude by giving historical and technical notes of such inequality.

preprint2020arXiv

On the primitivity of Lai-Massey schemes

In symmetric cryptography, the round functions used as building blocks for iterated block ciphers are often obtained as the composition of different layers providing confusion and diffusion. The study of the conditions on such layers which make the group generated by the round functions of a block cipher a primitive group has been addressed in the past years, both in the case of Substitution Permutation Networks and Feistel Networks, giving to block cipher designers the receipt to avoid the imprimitivity attack. In this paper a similar study is proposed on the subject of the Lai-Massey scheme, a framework which combines both Substitution Permutation Network and Feistel Network features. Its resistance to the imprimitivity attack is obtained as a consequence of a more general result in which the problem of proving the primitivity of the Lai-Massey scheme is reduced to the simpler one of proving the primitivity of the group generated by the round functions of a strictly related Substitution Permutation Network.

preprint2020arXiv

Rigid commutators and a normalizer chain

The novel notion of rigid commutators is introduced to determine the sequence of the logarithms of the indices of a certain normalizer chain in the Sylow 2-subgroup of the symmetric group on 2^n letters. The terms of this sequence are proved to be those of the partial sums of the partitions of an integer into at least two distinct parts, that relates to a famous Euler's partition theorem.

preprint2020arXiv

Some group-theoretical results on Feistel Networks in a long-key scenario

The study of the trapdoors that can be hidden in a block cipher is and has always been a high-interest topic in symmetric cryptography. In this paper we focus on Feistel-network-like ciphers in a classical long-key scenario and we investigate some conditions which make such a construction immune to the partition-based attack introduced recently by Bannier et al.

preprint2019arXiv

Normal form in Hecke-Kiselman monoids associated with simple oriented graphs

We generalize Kudryavtseva and Mazorchuk's concept of canonical form of elements in Kiselman's semigroups to the setting of a Hecke-Kiselman monoid $\mathbf{HK}_Γ$ associated with a simple oriented graph $Γ$ . We use confluence properties to associate with each element in $\mathbf{HK}_Γ$ a normal form; normal forms are not unique, and we show that they can be obtained from each other by a sequence of elementary commutations. We finally describe a general procedure to recover a (unique) lexicographically minimal normal form.

preprint2018arXiv

Regular subgroups with large intersection

In this paper we study the relationships between the elementary abelian regular subgroups and the Sylow $2$ -subgroups of their normalisers in the symmetric group $\mathrm{Sym}(\mathbb{F}_2^n)$ , in view of the interest that they have recently raised for their applications in symmetric cryptography.

preprint2015arXiv

The role of Boolean functions in hiding sums as trapdoors for some block ciphers

Most modern block ciphers are built using components whose cryptographic strength is evaluated in terms of their resistance to attacks on the whole cipher. In particular, differential properties of vectorial Boolean functions are studied for the S-Boxes to thwart differential cryptanalysis. Little is known on similar properties to avoid trapdoors in the design of the block cipher. In this paper we present a form of trapdoors coming from alternative vector space structures, which we call hidden sums, and give a characterization on the Boolean function S-Box to avoid any such hidden sum. We also study some properties of this new class of vectorial Boolean functions, which we call anti-crooked, and provide a toy cipher with a hidden sum trapdoor.

preprint2012arXiv

Hecke-Kiselman Monoids of Small Cardinality

In this paper, we give a characterization of digraphs $Q, |Q|\leq 4$ such that the associated Hecke-Kiselman monoid $H_Q$ is finite. In general, a necessary condition for $H_Q$ to be a finite monoid is that $Q$ is acyclic and its Coxeter components are Dynkin diagram. We show, by constructing examples, that such conditions are not sufficient.

preprint2010arXiv

Semi-invariants of Symmetric Quivers

This is my PhD thesis supervised by Professor Jerzy Weyman. A symmetric quiver $(Q,σ)$ is a finite quiver without oriented cycles $Q=(Q_0,Q_1)$ equipped with a contravariant involution $σ$ on $Q_0\sqcup Q_1$ . The involution allows us to define a nondegenerate bilinear form $<,>$ on a representation $V$ of $Q$ . We shall say that $V$ is orthogonal if $<,>$ is symmetric and symplectic if $<,>$ is skew-symmetric. Moreover we define an action of products of classical groups on the space of orthogonal representations and on the space of symplectic representations. So we prove that if $(Q,σ)$ is a symmetric quiver of finite type or of tame type then the rings of semi-invariants for this action are spanned by the semi-invariants of determinantal type $c^V$ and, in the case when matrix defining $c^V$ is skew-symmetric, by the Pfaffians $pf^V$ .

preprint2010arXiv

Semi-invariants of symmetric quivers of tame type

A symmetric quiver $(Q,σ)$ is a finite quiver without oriented cycles $Q=(Q_0,Q_1)$ equipped with a contravariant involution $σ$ on $Q_0\sqcup Q_1$ . The involution allows us to define a nondegenerate bilinear form $<,>$ on a representation $V$ of $Q$ . We shall say that $V$ is orthogonal if $<,>$ is symmetric and symplectic if $<,>$ is skew-symmetric. Moreover, we define an action of products of classical groups on the space of orthogonal representations and on the space of symplectic representations. So we prove that if $(Q,σ)$ is a symmetric quiver of tame type then the rings of semi-invariants for this action are spanned by the semi-invariants of determinantal type $c^V$ and, when matrix defining $c^V$ is skew-symmetric, by the Pfaffians $pf^V$ . To prove it, moreover, we describe the symplectic and orthogonal generic decomposition of a symmetric dimension vector.

preprint2009arXiv

Semi-invariants of symmetric quivers of finite type

Let $(Q,σ)$ be a symmetric quiver, where $Q=(Q_0,Q_1)$ is a finite quiver without oriented cycles and $σ$ is a contravariant involution on $Q_0\sqcup Q_1$ . The involution allows us to define a nondegenerate bilinear form $<,>$ on a representation $V$ of $Q$ . We shall call the representation orthogonal if $<,>$ is symmetric and symplectic if $<,>$ is skew-symmetric. Moreover we can define an action of products of classical groups on the space of orthogonal representations and on the space of symplectic representations. For symmetric quivers of finite type, we prove that the rings of semi-invariants for this action are spanned by the semi-invariants of determinantal type $c^V$ and, in the case when matrix defining $c^V$ is skew-symmetric, by the Pfaffians $pf^V$ .

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.

Riccardo Aragona

Research overview

Is this your work?

17 publications

Verification and generation of unrefinable partitions

On the maximal part in unrefinable partitions of triangular numbers

On the primitivity of the AES-128 key-schedule

Unrefinable partitions into distinct parts in a normalizer chain

A Chain of Normalizers in the Sylow $2$ -subgroups of the symmetric group on $2^n$ letters

An Authenticated Key Scheme over Elliptic Curves for Topological Networks

Entropy and Compression: A simple proof of an inequality of Khinchin-Ornstein-Shields

On the primitivity of Lai-Massey schemes

Rigid commutators and a normalizer chain

Some group-theoretical results on Feistel Networks in a long-key scenario

Normal form in Hecke-Kiselman monoids associated with simple oriented graphs

Regular subgroups with large intersection

The role of Boolean functions in hiding sums as trapdoors for some block ciphers

Hecke-Kiselman Monoids of Small Cardinality

Semi-invariants of Symmetric Quivers

Semi-invariants of symmetric quivers of tame type

Semi-invariants of symmetric quivers of finite type

See the researcher in context

Building this map preview

Riccardo Aragona

Research overview

Is this your work?

17 publications

Verification and generation of unrefinable partitions

On the maximal part in unrefinable partitions of triangular numbers

On the primitivity of the AES-128 key-schedule

Unrefinable partitions into distinct parts in a normalizer chain

A Chain of Normalizers in the Sylow 222-subgroups of the symmetric group on 2n2^n2n letters

An Authenticated Key Scheme over Elliptic Curves for Topological Networks

Entropy and Compression: A simple proof of an inequality of Khinchin-Ornstein-Shields

On the primitivity of Lai-Massey schemes

Rigid commutators and a normalizer chain

Some group-theoretical results on Feistel Networks in a long-key scenario

Normal form in Hecke-Kiselman monoids associated with simple oriented graphs

Regular subgroups with large intersection

The role of Boolean functions in hiding sums as trapdoors for some block ciphers

Hecke-Kiselman Monoids of Small Cardinality

Semi-invariants of Symmetric Quivers

Semi-invariants of symmetric quivers of tame type

Semi-invariants of symmetric quivers of finite type

See the researcher in context

Building this map preview

A Chain of Normalizers in the Sylow $2$ -subgroups of the symmetric group on $2^n$ letters