Source author record

M. Sala

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

7works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

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

7 published item(s)

preprint2017arXiv

Searching chaotic saddles in high dimensions

We propose new methods to numerically approximate non-attracting sets governing transiently-chaotic systems. Trajectories starting in a vicinity $Ω$ of these sets escape $Ω$ in a finite time $τ$ and the problem is to find initial conditions ${\bf x} \in Ω$ with increasingly large $τ= τ({\bf x})$. We search points ${\bf x}'$ with $τ({\bf x}')>τ({\bf x})$ in a {\it search domain} in $Ω$. Our first method considers a search domain with size that decreases exponentially in $τ$, with an exponent proportional to the largest Lyapunov exponent $λ_1$. Our second method considers anisotropic search domains in the {\it tangent} unstable manifold, where each direction scale as the inverse of the corresponding {\it expanding} singular value of the Jacobian matrix of the iterated map. We show that both methods outperform the state-of-the-art {\it Stagger-and-Step} method (Sweet, Nusse, and York, Phys. Rev. Lett. {\bf 86}, 2261, 2001) but that only the anisotropic method achieves an efficiency independent of $τ$ for the case of high-dimensional systems with multiple positive Lyapunov exponents. We perform simulations in a chain of coupled Hénon maps in up to 24 dimensions ($12$ positive Lyapunov exponents). This suggests the possibility of characterizing also non-attracting sets in spatio-temporal systems.

preprint2016arXiv

On weak differential uniformity of vectorial Boolean functions as a cryptographic criterion

We study the relation among some security parameters for vectorial Boolean functions which prevent attacks on the related block cipher. We focus our study on a recently-introduced security criterion, called weak differential uniformity, which prevents the existence of an undetectable trapdoor based on imprimitive group action. We present some properties of functions with low weak differential uniformity, especially for the case of power functions and 4-bit S-Boxes.

preprint2015arXiv

A Discrete Logarithm-based Approach to Compute Low-Weight Multiples of Binary Polynomials

Being able to compute efficiently a low-weight multiple of a given binary polynomial is often a key ingredient of correlation attacks to LFSR-based stream ciphers. The best known general purpose algorithm is based on the generalized birthday problem. We describe an alternative approach which is based on discrete logarithms and has much lower memory complexity requirements with a comparable time complexity.

preprint2014arXiv

Nonlinearity of Boolean functions: an algorithmic approach based on multivariate polynomials

We compute the nonlinearity of Boolean functions with Groebner basis techniques, providing two algorithms: one over the binary field and the other over the rationals. We also estimate their complexity. Then we show how to improve our rational algorithm, arriving at a worst-case complexity of $O(n2^n)$ operations over the integers, that is, sums and doublings. This way, with a different approach, we reach the same complexity of established algorithms, such as those based on the fast Walsh transform.

preprint2013arXiv

On the group generated by the round functions of translation based ciphers over arbitrary finite fields

We define a translation based cipher over an arbitrary finite field, and study the permutation group generated by the round functions of such a cipher. We show that under certain cryptographic assumptions this group is primitive. Moreover, a minor strengthening of our assumptions allows us to prove that such a group is the symmetric or the alternating group; this improves upon a previous result for the case of characteristic two.